在命运题逻辑中，任何命题公式的主合取范式都是存在的，并且是________。