Template:Algebraic normal form/table

$0$	${\Bigl [}~{\Bigr ]}$	${\Bigl \{}~{\Bigl \}}$	${\Bigl \{}~{\Bigl \}}$	empty sum 0	$0$
$1$	${\Bigl [}\left(~\right){\Bigr ]}$	${\Bigl \{}\{~\}{\Bigl \}}$	${\Bigl \{}0{\Bigl \}}$	$2^{0}$	$1$
$a$	${\Bigl [}\left(a\right){\Bigr ]}$	${\Bigl \{}\{0\}{\Bigl \}}$	${\Bigl \{}1{\Bigl \}}$	$2^{1}$	$2$
$\neg a$	${\Bigl [}\left(~\right),\left(a\right){\Bigr ]}$	${\Bigl \{}\{~\},\{0\}{\Bigl \}}$	${\Bigl \{}0,1{\Bigl \}}$	$2^{0}+2^{1}$	$3$
$b$	${\Bigl [}\left(b\right){\Bigr ]}$	${\Bigl \{}\{1\}{\Bigl \}}$	${\Bigl \{}2{\Bigl \}}$	$2^{2}$	$4$
$\neg b$	${\Bigl [}\left(~\right),\left(b\right){\Bigr ]}$	${\Bigl \{}\{~\},\{1\}{\Bigl \}}$	${\Bigl \{}0,2{\Bigl \}}$	$2^{0}+2^{2}$	$5$
$a\oplus b$	${\Bigl [}\left(a\right),\left(b\right){\Bigr ]}$	${\Bigl \{}\{0\},\{1\}{\Bigl \}}$	${\Bigl \{}1,2{\Bigl \}}$	$2^{1}+2^{2}$	$6$
$a\leftrightarrow b$	${\Bigl [}\left(~\right),\left(a\right),\left(b\right){\Bigr ]}$	${\Bigl \{}\{~\},\{0\},\{1\}{\Bigl \}}$	${\Bigl \{}0,1,2{\Bigl \}}$	$2^{0}+2^{1}+2^{2}$	$7$
$a\land b$	${\Bigl [}\left(a,b\right){\Bigr ]}$	${\Bigl \{}\{0,1\}{\Bigl \}}$	${\Bigl \{}3{\Bigl \}}$	$2^{3}$	$8$
$\neg a\lor \neg b$	${\Bigl [}\left(~\right),\left(a,b\right){\Bigr ]}$	${\Bigl \{}\{~\},\{0,1\}{\Bigl \}}$	${\Bigl \{}0,3{\Bigl \}}$	$2^{0}+2^{3}$	$9$
$a\land \neg b$	${\Bigl [}\left(a\right),\left(a,b\right){\Bigr ]}$	${\Bigl \{}\{0\},\{0,1\}{\Bigl \}}$	${\Bigl \{}1,3{\Bigl \}}$	$2^{1}+2^{3}$	$10$
$\neg a\lor b$	${\Bigl [}\left(~\right),\left(a\right),\left(a,b\right){\Bigr ]}$	${\Bigl \{}\{~\},\{0\},\{0,1\}{\Bigl \}}$	${\Bigl \{}0,1,3{\Bigl \}}$	$2^{0}+2^{1}+2^{3}$	$11$
$\neg a\land b$	${\Bigl [}\left(b\right),\left(a,b\right){\Bigr ]}$	${\Bigl \{}\{1\},\{0,1\}{\Bigl \}}$	${\Bigl \{}2,3{\Bigl \}}$	$2^{2}+2^{3}$	$12$
$a\lor \neg b$	${\Bigl [}\left(~\right),\left(b\right),\left(a,b\right){\Bigr ]}$	${\Bigl \{}\{~\},\{1\},\{0,1\}{\Bigl \}}$	${\Bigl \{}0,2,3{\Bigl \}}$	$2^{0}+2^{2}+2^{3}$	$13$
$a\lor b$	${\Bigl [}\left(a\right),\left(b\right),\left(a,b\right){\Bigr ]}$	${\Bigl \{}\{0\},\{1\},\{0,1\}{\Bigl \}}$	${\Bigl \{}1,2,3{\Bigl \}}$	$2^{1}+2^{2}+2^{3}$	$14$
$\neg a\land \neg b$	${\Bigl [}\left(~\right),\left(a\right),\left(b\right),\left(a,b\right){\Bigr ]}$	${\Bigl \{}\{~\},\{0\},\{1\},\{0,1\}{\Bigl \}}$	${\Bigl \{}0,1,2,3{\Bigl \}}$	$2^{0}+2^{1}+2^{2}+2^{3}$	$15$
$\left(\neg a\lor \neg b\lor \neg c\right)\land \left(a\lor b\right)$	${\Bigl [}\left(a\right),\left(b\right),\left(a,b\right),\left(a,b,c\right){\Bigr ]}$	${\Bigl \{}\{0\},\{1\},\{0,1\},\{0,1,2\}{\Bigl \}}$	${\Bigl \{}1,2,3,7{\Bigl \}}$	$2^{1}+2^{2}+2^{3}+2^{7}$	$142$
$\left(a\land b\land c\right)\lor \left(\neg a\land \neg b\right)$	${\Bigl [}\left(~\right),\left(a\right),\left(b\right),\left(a,b\right),\left(a,b,c\right){\Bigr ]}$	${\Bigl \{}\{~\},\{0\},\{1\},\{0,1\},\{0,1,2\}{\Bigl \}}$	${\Bigl \{}0,1,2,3,7{\Bigl \}}$	$2^{0}+2^{1}+2^{2}+2^{3}+2^{7}$	$143$