Исходная инфориация:строка, содержащая булевскую функцию от переменных A,B ..... (отрицание A записыва как \A), для опеределения которой использованы только операции +, * ,\ и скобки . Задание : преобразовать функцию к нормальной совершеной форме.
анализировать. они будут влиять только на порядок выполнения операций. кстати, преобразовывать к СКНФ или СДНФ? и что делать с тождественно истинными/тождественно ложными, для которых этих форм не существует?
Кирил
26.10.2006 2:09
преобразовать СКНФ
Это текстовая версия — только основной контент. Для просмотра полной версии этой страницы, пожалуйста, нажмите сюда.