Ta định nghĩa phép toán $|$ (hay NAND) và phép toán $ \downarrow $ (hay NOR) như sau:
$1|1=0,1|0=0|1=0|0=1$ và $1\downarrow 1=1\downarrow 0=0\downarrow 1=0,0\downarrow 0=1$
Hãy chứng minh tập $\{|\}$ và $\{\downarrow \}$ là đầy đủ trong đại số boole.