not(a and b or not(c)) or b or a and not(c)