45[填空题]
一个重言式与一个矛盾式的析取是________式。