НГУ
http://forum.nsu.ru/

Метод резолюций и предваренная нормальная форма
http://forum.nsu.ru/viewtopic.php?f=24&t=23067
Страница 1 из 1

Автор:  alex_dorin [ Пн фев 27, 2012 6:25 pm ]
Заголовок сообщения:  Метод резолюций и предваренная нормальная форма

Обязательно ли приведение формул к предваренной нормальной форме для
применения метода резолюций для логики предикатов ?

Страница 1 из 1 Часовой пояс: UTC + 7 часов
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/