Home
Random
Log in
Settings
Donate
About Wikiversity
Disclaimers
Search
Propositional logic/Tautology/Commutativity law/Truth table/Exercise
Language
Watch
Edit
Prove, using truth tables, that the following statements are tautologies.
α
∧
β
⟷
β
∧
α
{\displaystyle {}\alpha \wedge \beta \longleftrightarrow \beta \wedge \alpha }
.
α
∨
β
⟷
β
∨
α
{\displaystyle {}\alpha \vee \beta \longleftrightarrow \beta \vee \alpha }
.
Create a solution