Построить в исчислении высказываний следующий вывод:

[TanyaSin]

|- ( A $\bigvee$ B) $\bigvee$ C $\supset$ A $\bigvee$ (B $\bigvee$ C);

[Deggial]

Тема закрыта как дубль темы в Карантине.
TanyaSin, замечание за дублирование темы. Исправляйте Вашу тему в Карантине.