A high-performance algorithm for calculating conjunctive and disjunctive terms in polynomial representations of Boolean functions
Александр Борисович Сизоненко
Abstract
Александр Борисович Сизоненко
Abstract
The computer calculation of values of Boolean functions and systems of Boolean functions represented by normal polynomial forms starts from calculating values of terms of this polynomial followed by operations performed over the results. For the classical calculation method, this process is sequential. In this work, an algorithm is given that uses no more than one logical operation and one comparison to calculate the values of disjunctive and conjunctive terms of polynomial forms.
OpenAlex reports 2 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
The computer calculation of values of Boolean functions and systems of Boolean functions represented by normal polynomial forms starts from calculating values of terms of this polynomial followed by operations performed over the results. For the classical calculation method, this process is sequential. In this work, an algorithm is given that uses no more than one logical operation and one comparison to calculate the values of disjunctive and conjunctive terms of polynomial forms.
Key concepts: Disjunctive normal form, Conjunctive normal form, Boolean function, Polynomial, Computer science, Boolean expression, Algorithm, Maximum satisfiability problem