if !B then A else if (E and F) then (C and D)