2012Automatic Control and Computer SciencesRequires access

A high-performance algorithm for calculating conjunctive and disjunctive terms in polynomial representations of Boolean functions

Александр Борисович Сизоненко

Open publisher page 2 citations

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.

About this research paper

What this paper is about

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.

Why it matters

OpenAlex reports 2 citations for this work. Citation counts describe recorded attention and do not establish research quality.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available 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.

Key concepts: Disjunctive normal form, Conjunctive normal form, Boolean function, Polynomial, Computer science, Boolean expression, Algorithm, Maximum satisfiability problem

Related papers

Back to paper searchBrowse research topicsOriginal source
A high-performance algorithm for calculating conjunctive and disjunctive terms in polynomial representations of Boolean functions — Research Paper | ScholarLens