重言式与矛盾式的主析取范式与主合取范式