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