Help
Исходная инфориация:строка, содержащая булевскую функцию от переменных A,B ..... (отрицание A записыва
как \A), для опеределения которой использованы только операции +, * ,\ и скобки .
Задание : преобразовать функцию к нормальной совершеной форме.
На чем остановился ? А вообще такая задача уже была и не раз, вот например: http://forum.pascal.net.ru/index.php?showtopic=6976&st=0
а со скобками что делать
анализировать. они будут влиять только на порядок выполнения операций.
кстати, преобразовывать к СКНФ или СДНФ?
и что делать с тождественно истинными/тождественно ложными, для которых этих форм не существует?
преобразовать СКНФ