|
ru.algorithms
- RU.ALGORITHMS ----------------------------------------------------------------
From : Dmitry Kovtun 2:5020/400 03 Dec 2002 13:15:57
To : All
Subject : логические преобразования
--------------------------------------------------------------------------------
Добрый всем день!
Вопрос следующего характера.
Подскажите плз, алгоритм преобразования сложной формулы высказывания в СКHФ,
СДHФ методом тождественных преобразований.
В теории вроде как ясно. Имеем начальное положение (формула) и имее целовое
положение (СКHФ, СДHФ этой формулы), также имеем набор правил (формулы
тождественного преобразования), теперь в пространстве состояний нужно найти
путь. Hо вот как это реализовать практически???
Буду благодарен любой дискуссии.
Дмитрий.
--- ifmail v.2.15dev5
* Origin: EXPRESS Radio Network (2:5020/400)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
