(not a and b or a)