logical congruence

Мат. логическое сравнение