Aha, absorpce negace: x ∨ (−x ∧ y) = x ∨ y
t.j. a'c + c' = c' ∨ (c ∧ a') = c' + a'
A podla DeMorgan je c' + a' to same co (ca)'
T.j. to co som pisal vyssie maj aj zdovodnene, to riesenie by malo byt spravne tak jak som ho pisal vyssie.
Aha, absorpce negace: x ∨ (−x ∧ y) = x ∨ y
t.j. a'c + c' = c' ∨ (c ∧ a') = c' + a'
A podla DeMorgan je c' + a' to same co (ca)'
T.j. to co som pisal vyssie maj aj zdovodnene, to riesenie by malo byt spravne tak jak som ho pisal vyssie.