Idempotenz

In der Aussagenlogik gelten folgende Äquivalenzen:

$$\begin{array}{rl}& \varphi \wedge \varphi \equiv \varphi \\ & \varphi \vee \varphi \equiv \varphi \end{array}$$