2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




На страницу Пред.  1, 2
 
 Re: Вспомогательные выводы в ИВ
Сообщение11.02.2017, 18:13 
Да, всё так. Для конъюнкции, СКНФ и пересечения аналогично.

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

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

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

 
 
 [ Сообщений: 16 ]  На страницу Пред.  1, 2


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group