对任意命题逻辑公式判定是否存在一组指派使其被满足。