not (L xor D) and (H implies D) and not (L and D)