(a OR b) NOT c