Задача 28. По заданной расширенной формуле построить такую эквивалентную расширенную формулу, в которой знак отрицания NOT может стоять только перед переменными.
Указание. Воспользуйтесь правилами преобразования:
NOT (a R b )? a AND NOT b
NOT (a ? b )? a AND NOT b OR NOT a AND b
для произвольных расширенных логических формул a ,b .
|