3622
правки
Изменения
м
*[[XOR-SAT]]<tex>^\star</tex>
→Булевы функции
*[[КНФ]]
*[[2-SAT]]
*[[XOR-SAT]]<tex>^\star</tex>
*[[Специальные формы КНФ|Специальные формы КНФ: КНФ в форме Хорна и КНФ в форме Крома]]
*[[Полином Жегалкина | Полином Жегалкина, преобразование Мёбиуса]]
*[[Пороговая функция]]
*[[Троичная логика]]<tex>^\star</tex>
== Схемы из функциональных элементов ==
