Idempotenz

In der Aussagenlogik gelten folgende Äquivalenzen:

ϕ∧ϕ≡ϕϕ∨ϕ≡ϕ\begin{aligned} & \phi \wedge \phi \equiv \phi \\ & \phi \vee \phi \equiv \phi \end{aligned}