Rozhodni, či výroková formula \( [(A \vee B) \Rightarrow C] \Rightarrow A \) je tautológia.
ÁNO
NIE
NEISTÉ
MOŽNO
