1． 本程序在Visual C++环境中运行,执行文件为:ZYSBB.cpp 2． 程序运行后，显示学生信息，然后提示用户输入变量的个数，接着输入逻辑表达式（变量按A，B，C…顺序输入大写英文字母）。 3． 若所键入的是重言式或是矛盾式，则显示“表达式是重言式”或“表达式是矛盾式”；否则显示“表达式既不是重言式，也不是矛盾式” 4． 接着显示两个菜单项以供用户选择：*人机交互输入(E/e) 显示真值表(Z/z)* 按E/e则与用户交互输入，根据设定的变量值，求出逻辑表达式的值；按