not A or (B and C)