Q$9.$ Define proof rules in natural deduction style for "introduction" and "elimination" of the following

operators.

$[5$M$]$

$($a$)$ NOR operator

$($b$)$ NAND operator