(not B and A)
or
(B and (
   ((E and F) and (C and D))
   or
   (not (E and F) and undef)
))