45、一个重言式与一个矛盾式的析取是________式。