theorem Th36c: :: LATTBA_1:10

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