theorem Th33: :: LATTBA_1:3

for T being Ternary_Boolean_Algebra
for a, b, c, d being Element of T holds Tern (a,b,(Tern (c,b,d))) = Tern ((Tern (a,b,c)),b,d)