Конституэнта 1

Шаблон:Сирота

Конституэнта 1 — это логическая функция, дающая значение 1 на единственном наборе входных значений.

Определение

$X_{1}\vee X_{2}\vee ...\vee X_{n}$, где $X_{i}\in \lbrace 0,1\rbrace$

Примеры

$X_{1}\vee \neg X_{0}$

$X_{2}\vee X_{1}\vee X_{0}$

$\neg X_{2}\vee \neg X_{1}\vee \neg X_{0}$

См. также

nl:Clausule (logica)