>679
記号が問題文と違うような気がするけど

(12)と(5)から
! (! (x V y) V ! (x V ! y))
=(!(! (x V y)) ・( !(! (x V ! y)))
= (x V y) ・ (x V ! y)

分配法則から
(x V y) ・ (x V ! y) = x V (y・(!y))

(5)と(6)から
y・(!y) = 0

x V (y・(!y)) = x