Propositional logic/Tautology/Commutativity law/Truth table/Exercise

From Wikiversity

Jump to navigation Jump to search

Prove, using truth tables, that the following statements are tautologies.

${}\alpha \wedge \beta \longleftrightarrow \beta \wedge \alpha$ .
${}\alpha \vee \beta \longleftrightarrow \beta \vee \alpha$ .

Create a solution

Retrieved from "https://en.wikiversity.org/w/index.php?title=Propositional_logic/Tautology/Commutativity_law/Truth_table/Exercise&oldid=2543446"

Mathematical exercise