theorem Th36: :: YELLOW_5:36

for L being non empty Boolean RelStr
for a, b being Element of L holds
( 'not' (a "\/" b) = ('not' a) "/\" ('not' b) & 'not' (a "/\" b) = ('not' a) "\/" ('not' b) )