Y=AB AC BC CD