Assiomi e Proprietà

Associativa

$x+(y+z)=(x+y)+z$ $x\ast (y\ast z)=(x\ast y)\ast z\ast$

Commutativa

$x+y=y+x$ $x\ast y=y\ast x$

Distributiva

$x\ast (y+z)=x\ast y+x\ast z$ $x+y\ast z=(x+y)(x+z)$

Complemento

$x+\overline{x}=1$ $x\ast \overline{x}=0$

Elemento Neutro

$x+0=x$ $x\ast 1=x$

Elemento Nullificatore

$x+1=1$ $x\ast 0=0$

Idempotenza

$x+x=x$ $x\ast x=x$

Assorbimento

$x+xy=x$ $x(x+y)=x$

Assorbimento 2

$x+\overline{x}y=x+y$

Leggi di De Morgan

$\overline{x+y}=\overline{x}\ast \overline{y}$ $\overline{x\ast y}=\overline{x}+\overline{y}$