theorem Th1: :: NELSON_1:1

for L being Quasi-Boolean_Algebra
for x, y being Element of L holds (x "\/" y) ` = (x `) "/\" (y `)