Propositional logic/De Morgan's laws/2/Proof/Exercise

Prove, with help of truth tables, the (generalized) De Morgan's laws, namely that the statements

${\left(\alpha \wedge \neg {\left(\beta \vee \gamma \right)}\right)}\leftrightarrow {\left({\left(\alpha \wedge \neg \beta \right)}\wedge {\left(\alpha \wedge \neg \gamma \right)}\right)}$

and

${\left(\alpha \wedge \neg {\left(\beta \wedge \gamma \right)}\right)}\leftrightarrow {\left((\alpha \wedge \neg \beta )\vee {\left(\alpha \wedge \neg \gamma \right)}\right)}$

are tautologies.

Create a solution