|
This article is cited in 14 scientific papers (total 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.
Received: 10.10.2000
Citation:
A. V. Tarasov, “On the properties of functions representable in the form of a 2-CNF”, Diskr. Mat., 13:4 (2001), 99–115; Discrete Math. Appl., 11:6 (2001), 607–623
Linking options:
https://www.mathnet.ru/eng/dm309https://doi.org/10.4213/dm309 https://www.mathnet.ru/eng/dm/v13/i4/p99
|
Statistics & downloads: |
Abstract page: | 785 | Full-text PDF : | 539 | References: | 58 | First page: | 1 |
|