Boolova algebra
Boolova algebra
Boolova algebra
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Logická funkcia<br />
Veta:<br />
Pre každú logickú funkciu existuje ekvivalentá formula v<br />
tvare x x konjunktívnej normálnej forme.<br />
Pre každú logickú funkciu existuje ekvivalentá formula v<br />
tvare disjunktívnej normálnej forme.<br />
Formula je kontradikcia práve vtedy, ak jej ekvivalentná<br />
disjunktívna normálna forma DNF obsahuje v každej<br />
konjunktívnej klauzule dvojicu komplementárnych literálov.<br />
x 1 ∧x 1 ∨ x 2 ∧x 2 <br />
Formula je tautológia práve vtedy, ak jej ekvivalentná<br />
konjunktívna normálna forma CNF obsahuje v každej<br />
disjunktívnej klauzule dvojicu komplementárnych literálov.<br />
x 1 ∨x 1 ∧x 2 ∨x 2