Изменения
Нет описания правки
== Представление функции формулой ==
{{Определение
|definition=
'''Булева функция''' - отображение из <tex>n</tex>-мерного булева пространства в одномерное.}}
{{Определение
|definition=
Если выбрать некоторый набор функций <tex>A</tex>, то с использованием выбранных функций можно записать некоторые другие булевы функции. Такая запись булевой функции называется '''формулой'''.}}
Например, если <tex>A = \left\{\land,\neg\right\}</tex>, то функция <tex>a \lor b</tex> представляется в виде <tex>\neg(\neg a \land \neg b)</tex>
== Полные системы функций ==
Иногда говорят о системе функций, полной в некотором замкнутом классе, и соответственно о базисе этого класса. Например, систему <tex>\left\{\oplus,1\right\}</tex> можно назвать базисом класса линейных функций.
