Партнерка на США и Канаду по недвижимости, выплаты в крипто

  • 30% recurring commission
  • Выплаты в USDT
  • Вывод каждую неделю
  • Комиссия до 5 лет за каждого referral


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


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

Упражнения:

Приведите к нормальной формальной форме следующие формулы: (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 главы учебника Бочарова и Маркина выписать в тетрадь формулировку и доказательство метатеоремы о функциональной полноте системы связок (и хорошо осмыслить доказательство, чтобы уметь самостоятельно доказать теорему).