theorem Th8: :: NELSON_1:13

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