(not A and B or not C) and (not A or not D)