Geodesic
On the properties of functions representable in the form of a 2-CNF
Diskretnaya Matematika, Tome 13 (2001) no. 4, pp. 99-115

Voir la notice de l'article provenant de la source Math-Net.Ru

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. 
@article{DM_2001_13_4_a6,
     author = {A. V. Tarasov},
     title = {On the properties of functions representable in the form of a {2-CNF}},
     journal = {Diskretnaya Matematika},
     pages = {99--115},
     publisher = {mathdoc},
     volume = {13},
     number = {4},
     year = {2001},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/DM_2001_13_4_a6/}
}
TY  - JOUR
AU  - A. V. Tarasov
TI  - On the properties of functions representable in the form of a 2-CNF
JO  - Diskretnaya Matematika
PY  - 2001
SP  - 99
EP  - 115
VL  - 13
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DM_2001_13_4_a6/
LA  - ru
ID  - DM_2001_13_4_a6
ER  - 
%0 Journal Article
%A A. V. Tarasov
%T On the properties of functions representable in the form of a 2-CNF
%J Diskretnaya Matematika
%D 2001
%P 99-115
%V 13
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DM_2001_13_4_a6/
%G ru
%F DM_2001_13_4_a6
A. V. Tarasov. On the properties of functions representable in the form of a 2-CNF. Diskretnaya Matematika, Tome 13 (2001) no. 4, pp. 99-115. http://geodesic.mathdoc.fr/item/DM_2001_13_4_a6/