¬(¬A∧¬B)→(A∨B) 自然演繹です。演繹図を教えて欲しいです。 論理学得意な方至急お願いします！

集合のべき等法則の証明についてです。 写真のように考えたのですが、 2個めの⇔への変形でいいのでしょうか? (間に何か入りますか?) このままで良いのであれば、 2個目の変形理由は何と書くべきでしょうか。

(証明) ¥2 e AuA をとり国定する。 xE AuA (2EA)V (火EA) (: 沖集合の定義) 金 2EA

最後から2行目と3行目の変形で 何が起こったのか分かりません。 どなたか教えて頂けると有り難いです。

kuま。 ERON 二もーツ らニも 。 51 | =b @.((0cDY(CeN,tes5)) ab A (0⑪=のV(*eeN,。 b+C =@) ) 3 寺本 QA =b で> 人 の: SO Atで=もち 9 C : ceN, btC=C ょとす%E 飼(PvQ)A(PVE) 信 CPAP)V(PAE) v(QAP)v (@ V) 字 P oO 、 2, 0=D I ロ

論理学教えて下さい

論理学です。分かりません！お願いします！

ューノーニコ j 目計和紀| 固 student webste:Ass x 還還訟フ はじめに行う語 O 代 hp logiclxhumnetudla edu/ Student | ETT | 1 _ Deriv 1.005 員logic 010: Dervation ロ periv 1.024: -(Rっつっ Q).QkPっ5 だ - ら 3

論理学教えて下さい

ューノーニコ j 目計和紀| 固 student webste:Ass x 還還訟フ はじめに行う語 O 代 hp logiclxhumnetudla edu/ Student | ETT | 1 _ Deriv 1.005 員logic 010: Dervation ロ periv 1.024: -(Rっつっ Q).QkPっ5 だ - ら 3