Изменения

Метод использует таблицу истинности логической функции. Для этого берётся общий вид полинома Жегалкина, в него подставляются наборы аргументов и приравниваются к соответствующим значениям логической функции из таблицы истинности. Полученную систему уравнений упрощают и решают относительно коэффициентов. Нулевые коэффициенты опускают, а для единичных коэффициентов выписывают АНФ логической функции.

== Другие формы: ==

== Ссылки ==

* Википедия.

* [[Участник:Logic-samara]]

[[Категория:Дискретная математика]][[Категория:Логика]]