Zisti pravdivostné hodnoty nasledujúce formule:
\( [\neg(\neg A \wedge B) \vee A] \Leftrightarrow(\neg A \wedge B) \)
Pravdivé len pre niektoré hodnoty.
Nepravdivé len pre niektoré hodnoty.
Vždy pravdivé.
Vždy nepravdivé.
