weixin_49663159的博客

原创 192-构造合式公式的真值表

构造合式公式的真值表1256给出任意变元（不超过4个变元，如：P,Q,S,R）的合式公式。构造该合式公式的 真值表。需要用特定的字符串将联结词表示（如~可以表示非，->表示蕴涵，<->表示等价，\/表示析取，/\表示合取，中间不加任何空格），输入合式公式。构造真值表有如下约定：① 命题变元按字典序排列；② 对公式的每个解释，以二进制数从小到大或者从大到小顺序列出；③ 若公式复杂，可先列出各子公式的真值(若有括号,则应从里层向外层展开)，最后列 出所给公式的真值；④。