RUS  ENG
Full version
JOURNALS // Diskretnaya Matematika // Archive
Diskr. Mat., 2001 Volume 13, Issue 4, Pages 99–115 (Mi dm309)
This article is cited in 14 papers

On the properties of functions representable in the form of a 2-CNF

A. V. Tarasov


Abstract: We consider properties of Boolean bijunctive functions. The class of the Boolean bijunctive functions consists of the functions which can be represented as a 2-CNF\@. We give an algorithm to minimise a bijunctive function.

UDC: 519.7

Received: 10.10.2000

DOI: 10.4213/dm309


 English version: Discrete Mathematics and Applications, 2001, 11:6, 607–623

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2025