Изменения

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

Навигация