A logikai műveletek szabályrendszerét BOOLE angol matematikus dolgozta ki, így innen kapta az elnevezését (Boole algebra).

A logikai algebra alapszabályai :

KOMMUTATIVITÁS:

• AB=BA
• A+B=B+A

ASSZOCIATIVITÁS:

• A(BC)=(AB)C
• (A+B)+C=A+(B+C)

DISZTRIBUTIVITÁS:

• A(B+C)=AB+AC
• A+BC=(A+B)(A+C)

ABSZORBCIÓS TUL.:

• A(B+A)=A
• A+AB=A

További szabályok:

1. A·1=A
2. A·A=A
3. A·0=0
4. A·=0
5. A+1=1
6. A+A=A
7. A+0=A
8. A+=1
9. =A

Ezek mellett használjuk még a De-Morgan azonosságokat is.

=+

=·

A fenti szabályok és azonosságok következetes alkalmazásával a függvények átalakíthatók a szükséges formára.