DNF převod
Bez pouzitı pravdivostnı tabulky) preved’te
formuli (Z ∨ (X ∧ Y )) → ¬Y do disjunktivnı normalnı formy (DNF)
Můžu prosím o radu ?
skončil jsem ve tvaru (¬Z∧( ¬X∨ ¬Y)) ∨¬Y
a nějak netuším jak pokračovat.
Lukáš K.
26. 11. 2020 13:13
1 odpověď
Zeněk R.
26.11.2020 15:48:17
Zdravím,
použij distributivní zákon
[a∧(b∨c)]⇔[(a∧b)∨(a∧c)]
Pro napsání komentáře se musíte přihlásit.