decision problem of propositional logic的意思|示意
美 / /
英 / /
命题逻辑的决策问题