Orthogonalization of DNF in TVL-Arithmetic

Can Y, Kassim H, Fischer G (2016)


Publication Language: English

Publication Type: Conference contribution, Conference Contribution

Publication year: 2016

Pages Range: 1-219

Conference Proceedings Title: 12th International Workshop of Boolean Problems

Event location: Freiberg DE

ISBN: 978-3-86012-540-3

Open Access Link: http://www.informatik.tu-freiberg.de/prof2/ws_bp12/index.html

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

How to cite

APA:

Can, Y., Kassim, H., & Fischer, G. (2016). Orthogonalization of DNF in TVL-Arithmetic. In Medienzentrum der TU Bergakademie Freiberg (Eds.), 12th International Workshop of Boolean Problems (pp. 1-219). Freiberg, DE.

MLA:

Can, Yavuz, Hassen Kassim, and Georg Fischer. "Orthogonalization of DNF in TVL-Arithmetic." Proceedings of the 12th International Workshop on Boolean Problems, Freiberg Ed. Medienzentrum der TU Bergakademie Freiberg, 2016. 1-219.

BibTeX: Download