De-morgansche Regeln

Aussagenlogik

$$\begin{array}{rl}& \neg (\varphi \wedge \psi )\equiv (\neg \varphi \vee \neg \psi )\\ & \neg (\varphi \vee \psi )\equiv (\neg \varphi \wedge \neg \psi )\end{array}$$

Mengenlehre

$$\begin{array}{rl}& \overline{A\cap B}=\bar{A}\cup \bar{B}\\ & \overline{A\cup B}=\bar{A}\cap \bar{B}.\end{array}$$

Gelten auch für endlich viele Verknüpfungen.

$\overline{{\bigcap }_{i\in I}{A}_i}={\bigcup }_{i\in I}\overline{A_i}\text{ und }\overline{{\bigcup }_{i\in I}{A}_i}={\bigcap }_{i\in I}\overline{A_i}$

Können z.B. nützlich sein zum beweisen für Sigma Algebra Eigenschaften.

In Code sehen sie so aus:

!(x||y) === !x & !y