Orthogonalizing of DNF in TVL-Arithmetic

Can Y, Fischer G, Kassim H (2016)

Publication Language: English

Publication Type: Conference contribution, Conference Contribution

Publication year: 2016

Event location: Freiberg (Sachsen) DE

ISBN: 978-3-86012-540-3

Abstract

In this paper two new equations for orthogonalization of disjunctive normal form are presented in Ternary-Vector-List arithmetic. They provides the mathematical solution of orthogonalization of disjunctive normal form. These new equations are based on the method of orthogonalizing difference-building ⊖ and orthogonalizing OR-ing ∨. Furthermore, they are compared in their number of operations. Their advantages in respect of computation time and the number of terms in the orthogonalized result are also shown. The presentation
of both equations take place in Ternary-Vector-List arithmetic.

Authors with CRIS profile

Yavuz Can Lehrstuhl für Zuverlässige Schaltungen und Systeme Georg Fischer Professur für Technische Elektronik

How to cite

APA:

Can, Y., Fischer, G., & Kassim, H. (2016). Orthogonalizing of DNF in TVL-Arithmetic. In Proceedings of the 12th International Workshop on Boolean Problems (IWSBP’16). Freiberg (Sachsen), DE.

MLA:

Can, Yavuz, Georg Fischer, and Hassen Kassim. "Orthogonalizing of DNF in TVL-Arithmetic." Proceedings of the 12th International Workshop on Boolean Problems (IWSBP’16), Freiberg (Sachsen) 2016.

BibTeX: Download