Trivalent logic