c++程序判断离散数学中命题公式,MFC开发