Logical Matrices Tester