((A AND !C) OR !(A AND !C))AND!(A AND !B)