1.4.3. Conjunction, ? and? - UOW

In classical propositional logic, the connectives =, ?, ¬ can be replaced by ??, ?,. False. Define corresponding simplification rules as lemmas and ...