логические преобразования

From

Dmitry Kovtun ()

To

All

Date

2002-12-03T12:15:57Z

Area

RU.ALGORITHMS

From: "Dmitry Kovtun" <dep_ovt@ordgok.com>

Добрый всем день!

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




--- ifmail v.2.15dev5
 * Origin: EXPRESS Radio Network (2:5020/400)