>>113
正しくない。
それでは著しく限定的な絵。
敢えて書けば　　¬A｛Ｂ(A}A)¬A　　{B}　がB、(A)がAに対応しており、
{B(　のBの部分は¬Aの一部、(A}　のAの部分はBの一部。
そして、　¬A{B(A}　)¬A　の　}　)　以外の全部(それをXで示す)が　¬A∨Bに相等。
そのときCの中で、AであるところはBになる(A⇒B)。

ま、インチキだな。