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

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

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

and

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

are

tautologies.

Create a solution