Automatization of Ternary Boolean Algebras