Pomocou 4

Pomocou pravdivostnej tabuľky vyhodnoťte pravdivosť’ zloženého výroku
(a) [P ∧ (Q ∨ R)] ⇔ [(P ∧ Q) ∨ (P ∧ R)]
(b) ¬(P ⇒ ¬Q) ⇒ (¬P ∧ Q)
a zakaždým rozhodnite, či ide o tautológiu resp. Kontradikciu.

Správna odpoveď:

a =  1
b =  0

Postup správneho riešenia:

$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}$$

Skúsiť iný príklad