6.1.1.5 Propositional calculus

Problem: The following notation is an expression (formula) of the propositional algebra: 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}) \).