bivalent logic

Мат. двузначная логика