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