Optimierung

Resolutionsregel

Beispiel:

$f (x 1, x 2, x 3)$	$= \bar{x_1} x_2 x_3 + x_1 x_2 x_3$
	$= \begin{matrix} \underbrace{ (\bar{x_1} + x_1) } x_2 x_3 \\ =1 \end{matrix}$
	$= x 2 x 3$

Einfach komplementäre Ausdrücke wegkürzen.