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