НОРМАЛЬНЫЕ ФОРМЫ ЛОГИКИ ВЫСКАЗЫВАНИЙ


Нормальная форма формулы Конъюнктивная нормальная форма Дизъюнктивная нормальная форма

Упражнения:

Приведите к нормальной формальной форме следующие формулы: (p≡q) (p⊻q)⊃r (p≡q)⊃((p≡r)⊃(q≡r)) Приведите к КНФ следующие формулы: p⊃((p⊃q)⊃q) (p⊃q)⊃((p&r)⊃(q&r)) Приведите к ДНФ формулу: ((p⊻q)⊃(q&r))≡r

Задание:

Из 3 главы учебника Бочарова и Маркина выписать в тетрадь формулировку и доказательство метатеоремы о функциональной полноте системы связок (и хорошо осмыслить доказательство, чтобы уметь самостоятельно доказать теорему).