Изменения
→Представление функции формулой
|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>
