Základy boolovej algebry
Komutatívny zákon
F=A+B=B+A
Asociatívny zákon
F=A+B+C=B+(A+C)=C*(A*B)
Distributívny zákon
F=A*B+A*C=A*(B+C)
F=(A+B)*(A+C)=A+(B*C)
Pravidlo nutrálnosti konštánt
A*1=A
A+0=A
Pravidlo agresívnosti konštánt
A*0=0
A+1=1
Vzťah medzi premennou a pozitívou negovanou v zmysle
A+A(negované)=1
A*A(negované)=0
Pravidlo absorbcie
A*A*A=A
A+A+A=A
Pravidlo dvojnásobnej negácie
A(dvoj negácie)=A
Pravidlo absorbcie negácie
A+A(negované)*B=A+B
Demorganovo pravidlo
A+B(negované)=A*B (negované)
A*B(negované)=A+B(negované)