логическое квазитождество

Мат. logical quasiidentity