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