Преобразование форумулы(дискретная математика)

[Mikle1990]

1. Вот что я записал в тетрадь.

Виктор Викторов в сообщении #366276 писал(а):

$(\overline{ {X_{1} }}\to(\overline{X_{1}} \vee X_{2}))\to \overline{X_{3}}\equiv(X_{1} \vee \overline{ {X_{1} }} \vee X_{2})\to \overline{X_{3}}\equiv (1)\to \overline{X_{3}}\equiv \overline{X_{3}}$

Надеюсь это верно.

2. Да, бывают у меня проколы) Я просто только начал изучать дискретную математику. Хотя учитывая мной допущенные ошибки, мне нет оправдания.

[Виктор Викторов]

Good!