Привет!!!
Вот блин не получается точне получается ДНФ , а КНФ нет

(a > b)V((c > d) & p)
после преобразов получ ДНФ
~a V b V ~cp V dp а как получить КНФ ни как не могу получить
---------
если кто может объясните как

как я понял '\/' это '+'
'&' это 'И'

А что такое '>' и '~' ?

~ - отрицание
> - следование (из a следует b)

Построим таблицу истинности:

Код

abcdp  F 0****  1 11***  1 10**0  0 <- идёт в КНФ 100*1  1 10101  0 <- идёт в КНФ 10111  1

Из неё следует КНФ такая:
(~a V b V p)(~a V b V ~c V d V ~p)

хотя давно это было... может и попутался...

Это сообщение отредактировал(а) p0s0l - 4.8.2004, 00:25

Цитата(p0s0l @ 3.8.2004, 22:18)

> - следование (из a следует b)

Следование? А это как?
Когда я учил ПТЦА(Прикладн. Теор. Цифров. Автоматов), у нас такого небыло.... Или это название какой-то логич. операции?

Следование - это вроде называется "импликация" (в голове это слово всплывает, но может это вообще не из той области ...)
Но суть такова: из истины не может следовать ложь...
Т.е. a > b = 0 в случае, если a=1, b=0, в других случах результат = 1...
И если приглядишься к приведенному в первом посте приводу к ДНФ, заметишь, что:
(a > b) = (~a V b) = ~(a & ~b)

Ясн...
Спасибо!

а может есть у кого-нить реализованный КНФ? всё-равно на каком языке, но хотелось бы html файлик, очень надо

Не совсем понятно, что конкретно надо

тут есть exe-шник строящий совершенную КНФ по функции

Необходимо реализовать алгоритм преобразования формулы в КНФ. Примерно как описано и показано на рисунках тут: http://blaga.ru/Javascriptbook/book/gl20/gl20.html#24

Т.е. В текстовое поле вводится формула, после щелчка по кнопке, формируется эквивалентная формула, находящаяся в КНФ. 

((( помогите пожалуйста к КНФ привести пример:
((R->P)->(|(QvR)->P))
-> это импликация
| это отрицание
v это дизъюнкция
срочно нужно очень

((R->P)->(|(QvR)->P))
если память не изменяет будет примерно так:
((|RvP)->(QvRvP))=R|PvQvRvP=(RvP)(|PvP)vQvR=RvPvQvR=PvQvRесли таблицей - то также получится
Или Вам это программно для общего случая реализовать надо?

А насчет основной темы  - если ДНФ получается, то, помниться, она как-то элементарно в КНФ переводиться. То ли ее сначала надо до СДНФ дополнить, а уже потом в КНФ, точнее СКНФ(чего-то там с отрицаниями поколдовать)

СДНФ -> СКНФ
за два хода напрашивается вариант
1) строим по СДНФ таблицу
2) строим по таблице СКНФ.

Чего-то там помнится хитрее было, а вот чего - хоть убей не помню  . Хотя вариант по таблице наверное действительно будет самый "незамороченный" и легко реализуемый