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