L   ∨   X

=  ¬  D

∧  T  H