Bivalent logic