Условие:
Докажите, что следующая формула является тавтологией алгебры высказываний
Решение:
Рассуждая "от противного", предположим, что левая часть выражения истина, правая часть выражения - ложь.
1) По определению конъюнкции 
должны быть истинны, то есть 
2) Из началь...