Pravdivostní tabulka

Pomocí pravdivostní tabulky vyhodnoťte pravdivost složeného výroku
(a) [P ∧ (Q ∨ R)] ⇔ [(P ∧ Q) ∨ (P ∧ R)]
(b) ¬(P ⇒ ¬Q) ⇒ (¬P ∧ Q)
a pokaždé rozhodněte, zda se jedná o tautologii resp. Kontradikci.

Správná odpověď:

a =  1
b =  0

Postup správného řešení:

$a=1$

$$\begin{gathered} P,Q,\neg Q,P\Rightarrow \neg Q,X=\neg (P\Rightarrow \neg Q),Y=\neg P\wedge Q,X\Rightarrow Y \\ 0,0,11,0,0,1 \\ 0,1,01,0,1,1 \\ 1,0,1,1,0,0,1 \\ 1,1,0,0,1,0,0 \\ b=0 \end{gathered}$$

Zkusit jiný příklad