Задача №1. Проверить эквивалентность следующей формулы:
(p?q)?r ?p?r ?q ?r;
Задача №2: Выяснить, является ли правильным логическое рассуждение:
Или Анна и Антон одного возраста, или Анна старше Антона. Если Анна и Антон одного возраста, то Наташа и Антон не одного возраста. Если Анна старше Антона, то Антон старше Николая. Следует ли отсюда, что либо Наташа и Антон не одного возраста, либо Антон старше Николая?