Изменения
Метод использует таблицу истинности логической функции. Для этого берётся общий вид полинома Жегалкина, в него подставляются наборы аргументов и приравниваются к соответствующим значениям логической функции из таблицы истинности. Полученную систему уравнений упрощают и решают относительно коэффициентов. Нулевые коэффициенты опускают, а для единичных коэффициентов выписывают АНФ логической функции.
== Другие формы: ==
== Ссылки ==
* Википедия.
* [[Участник:Logic-samara]]
[[Категория:Дискретная математика]][[Категория:Логика]]