Doplňte tabulku a určete pravdivostní hodnoty výroků A, B a C, víte-li, že výroková formule (A´⇒ C)∨(B∧C´) ⇔ ( A∨C ) je nepravdivá. Výsledky zapište pod tabulku.

A	B	C	A´	C´	A´⇒ C	B∧C´	(A´⇒ C) ∨ (B∧C´)	A∨C	(A´⇒ C)∨(B∧C´) ⇔ ( A∨C )
1	1	1
1	1	0
1	0	1
1	0	0
0	1	1
0	1	0
0	0	1
0	0	0

Daná výroková formule je nepravdivá právě tehdy, když je
výrok A =
výrok B =
výrok C =