Алгоритмическое нахождение законов отношения

Алгоритмическое нахождение законов отношения

Для простоты используется янтра. Обозначим полярности А, В, С, 0.