theorem Th12: :: NELSON_1:18

for L being Nelson_Algebra
for a, b being Element of L holds (a => b) "/\" ((- a) "\/" b) = (- a) "\/" b