Irreducible conjunctive normal forms of the zero function


Бакоев, Валентин (1995) Irreducible conjunctive normal forms of the zero function Discrete mathematics and applications, Research in mathematics, vol. 5, (Editors: Sl. Shtrakov and Iv. Mirchev), Blagoevgrad, 1995, pp. 127-131. ISBN: 954-680-001-5


 The irreducible conjunctive normal forms (CNF) of the zero constant (as a function of n variables), where each disjunct contains no more than 3 variables (i.e., 3-CNFs) are considered here. Two equivalences - permutation and negation - on variables in 3-CNFs are defined. All 3-CNFs of up to 4 disjuncts in their 3-CNFs are classified according to these equivalences.
  Доклад
 Boolean function, SAT, 3-SAT, equivalences, classification




 Издадено
  23036
 Валентин Бакоев

Научният архив поддържа инициативата за отворен достъп OAI 2.0 с начален адрес: http://da.uni-vt.bg/oai2/