I prawo de Morgana: [tex]\neg (p\wedge q)\Leftrightarrow (\neg p\vee \neg q)[/tex] - zanegowany iloczyn dwóch argumentów daje sumę argumentów zanegowanych (a)
II prawo de Morgana: [tex]\neg (p\vee q)\Leftrightarrow (\neg p\wedge \neg q)[/tex] - zanegowana suma dwóch argumentów daje iloczyn argumentów zanegowanych (c)