theorem Th36a: :: LATTBA_1:8

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