Home
Random
Log in
Settings
Donate
About Wikiversity
Disclaimers
Search
Propositional logic/Tautology/Associativity law/Truth tables/Exercise
Language
Watch
Edit
Prove, with the help of truth tables, that the following statements are tautologies.
(
α
∧
β
)
∧
γ
⟷
α
∧
(
β
∧
γ
)
{\displaystyle {}{\left(\alpha \wedge \beta \right)}\wedge \gamma \longleftrightarrow \alpha \wedge {\left(\beta \wedge \gamma \right)}}
.
(
α
∨
β
)
∨
γ
⟷
α
∨
(
β
∨
γ
)
{\displaystyle {}{\left(\alpha \vee \beta \right)}\vee \gamma \longleftrightarrow \alpha \vee {\left(\beta \vee \gamma \right)}}
.
Create a solution