Вспомогательные выводы в ИВ

[arseniiv]

Да, всё так. Для конъюнкции, СКНФ и пересечения аналогично.

-- Сб фев 11, 2017 20:20:13 --

Но, кстати говоря, это работает и с другими булевыми функциями, т. к. СДНФ/СКНФ взаимно однозначно соответствуют таблицам истинности.

И ещё, сами конъюнкты/дизъюнкты в СДНФ/СКНФ тоже можно понимать или как множества (атомов, которые стоят в конъюнкте без отрицания — или, наоборот, тех, что с отрицанием) или двузначные функции из множества атомов в двухэлементное множество булевых функций одного аргумента (естественнее, по идее, именно его, т. к. мы выбираем, отрицать или не отрицать атом).