двойственная логика

Мат. dual logic