c++程序判断离散数学中命题公式