(not c) and a and b or c