T & T = T T | T = T T & F = F T | F = T T & M = M T | M = T T & D = D T | D = T F & F = F F | F = F F & M = F F | M = M F & D = F F | D = D M & M = M? M | M = M M & D = F? M | D = T? D & D = D D | D = DDoes this look right? Mu See also: ThreeValuedLogic, BooleanLogic, FuzzyLogic, MultiValuedLogic