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