Aufgabe:
Sei \( X \) die zusammengesetzte Aussage \( (\neg C \wedge \neg B) \vee A . \) Finden Sie eine zusammengesetzte Aussage \( Y, \) in der (außer \( A, B \) und \( C \) ) ausschließlich die logischen Verknüpfungen \( \neg \) und \( \Rightarrow \) vorkommen, sodass \( X \Leftrightarrow Y \) gilt, und beweisen Sie diese Aquivalenzaussage.