如何判断命题公式合法性 c++非:﹁符号用 ~ 符号表示;且:∧符号用 & 符号表示;或:∨符号用 | 符号表示;推出: