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 \overline{a}=0$

2. $a\vee \overline{a}=1$

3. $\bar{\overline{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}=\overline{a}\vee \overline{b}$

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