6.1.1.5 Исчисление высказываний

условие: Следующая запись является выражением (формулой) алгебры высказываний: 1) \( ((A \wedge B) \Rightarrow C \); 2) \( A \Rightarrow \wedge B \Leftrightarrow C \); 3) \( A-B \wedge \bar{A} \); 4) \( A \vee(B \Rightarrow \bar{A}) \)