Докажите, что следующая формула является тавтологией алгебры высказываний

Рассуждая "от противного", предположим, что левая часть выражения истина, правая часть выражения - ложь.

1) По определению конъюнкции должны быть истинны, то есть

2) Из началь...