L   U   X

=  ¬  D

∧  T  H