In allen Rechenregeln können $a$, $b$ und $c$ für Schaltvariablen oder Schaltterme stehen.

Assoziativgesetze

1. $a \wedge b \wedge c = (a \wedge b) \wedge c = a \wedge (b \wedge c)$

2. $a \vee b \vee c = (a \vee b) \vee c = a \vee (b \vee c)$

Kommutativgesetze

1. $a \wedge b = b \wedge a$

2. $a \vee b = b \vee a$

Distributivgesetze

1.$a \wedge (b \vee c) = (a \wedge b) \vee (a \wedge c)$

2.$a \vee (b \wedge c) = (a \vee b) \wedge (a \vee c)$

Komplementgesetze

1. $a \wedge \bar a = 0$

2. $a \vee \bar a = 1$

3. $\overline{\bar a} = a$

Idempotenzgesetze

1. $a \wedge a = a$

2. $a \vee a = a$

Gesetze der neutralen Elemente

1. $a \wedge 1 = a$

2. $a \vee 0 = a$

0-1-Gesetze

1. $a \wedge 0 = 0$

2. $a \vee 1 = 1$

Gesetze von De Morgan

1. $\overline{a \wedge b} = \bar a \vee \bar b$

2. $\overline{a \vee b} = \bar a \wedge \bar b$