(not A OR B) AND (not C) and D