Template:Algebraic normal form/table

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