theorem Th14: :: NELSON_1:20

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