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