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.


Obtížnost: Vysoká škola
Kategorie: Logika
Lukáš K.

Lukáš K.

26. 11. 2020   13:13

1 odpověď

Zeněk R.
Zeněk R.
26.11.2020 15:48:17

Zdravím,

použij distributivní zákon

\([a\wedge (b\vee c)] \Leftrightarrow [(a\wedge b)\vee (a\wedge c)] \)

Pro napsání komentáře se musíte přihlásit.