Lekciya_14_Ischislenie_predikatov (1)
Алгоритм получения (приведения) ПНФ. Шаг 1. Исключить связки эквивалентности ( ~ ) и импликации (→). x ~ у = (x → у) & (y →x), A → B =(Ā v B). Шаг 2. Переименовать, если необходимо, связанные переменные таким образом, чтобы никака