(A&B)→C