通过编程解决《离散数学》“真值表”类问题
2017-02-05
23
通过编程解决《离散数学》“真值表”类问题2011-09-30 博客园 邓勖帆问题引入:真值表是数理逻辑中较为常用的基本工具之一,但这东西若要人手计算还是有点麻烦,而 且必须非常仔细才行。现在我们通过编写程序解决这个问题。一、基本思路假定表达式中字母个数为n,那么一个最自然的想法就是让i:0->2^n(取其k:0~n-1位分别作为字母 k的赋值),将{^,&,|,->,<->}中的操作符从字符形式转换成Token存储在栈中,然...