Ekvivalence pomocí konjunkce a negace.
Úloha číslo: 2770
Lze ekvivalenci \(a \Leftrightarrow b\) nahradit výrokem, v němž se vyskytují jen negace \(\neg\) a konjunkce \(\land\)?
Řešení
Použijeme dvě pravidla: \(a \Leftrightarrow b \iff (a \land b) \lor (\neg a \land \neg b)\) a
\(a \lor b \iff \neg(\neg a \land \neg b)\) a získáme
\(a \Leftrightarrow b \iff \neg(\neg(a \land b) \land \neg(\neg a \land \neg b))\).
