учетверенная логика

Мат. quadded logic