B* = A or C
C* = A and not D
D* = B and C
