Zjisti pravdivostní hodnoty následující formule:
\( [\neg(\neg a \wedge b) \vee a] \Leftrightarrow(\neg a \wedge b) \)
Vždy nepravdivé.
Vždy pravdivé.
Pravdivé pro všechna a, b.
Nepravdivé pouze pro a = true, b = false.