A double Complement Law and a Difference Transformation Rule in Table Algebra - A. S. Senchenko (Artificial intelligence, 2013)