Изменения

Если задана какая-либо полная система функций <math>A</math>, то '''любую''' функцию можно выразить, составив формулу, содержащую только функции из множества <mathtex>A</mathtex>. Например, если <mathtex>A = \left\{\land,\neg\right\}</mathtex>, то функция <mathtex>a \lor b</mathtex> представляется в виде <mathtex>\neg(\neg a \land \neg b)</mathtex>.