求下列共识的主析取范式和主合取范式(A→(B^c))