怎样用C++实现逻辑表达式转换成真值表的程序

Answer 1

比较简单的一种是枚举输入量的组合值，所以计算复杂度是2^n，n表示变量个数。当然由于逻辑表达式比较简单，只有+
*
非
最后还有括号，比四则运算要简单的多。一个建议是使用修改的链表或者栈实现，毕竟输出真值表要枚举每个变量的真值。
建议的方式如下：使用链表或者数组存储表达式，节点类型可以自定义：包含一个指向外部的引用或者连接表示这个变量当前的值。然后使用栈将中缀表达式转化为后缀表达式进行压栈计算。依照枚举组合一次遍历链表。
请参考：数据结构-栈-四则计算（中缀表达式、后缀表达式）、链表、
以及《组合数学》组合生成算法

Answer 2

(p∧(p->q))->q
p->q等价于(┐p)∨q写成c/c++语言就是(!p)||q
p∧(p->q)等价于p∧((┐p)∨q)写成c/c++就是p&&((!p)||q))
(p∧(p->q))->q等价于(┐(p∧((┐p)∨q)))∨q写成c/c++语言就是(!(p&&((!p)||q))))||q
programe
code:
#include
<iostream>
using
namespace
std;
int
main()
{
int
q,p;
cout<<"p
q
(p∧(p->q))->q\n";
for(p=0;p<=1;p++)
for(q=0;q<=1;q++)
cout<<p<<"
"<<q<<"
"
<<((!(p&&((!p)||q)))||q)<<endl;
}
//运行结果
p
q
(p∧(p->q))->q
0
0
1
0
1
1
1
0
1
1
1
1
其实你可以将表达式化简:
┐(p∧((┐p)∨q))∨q
<=>
┐((p∧┐p)∨(p∧q)))∨q
<=>
┐(0∨(p∨q)))∨q
<=>
1
∨((┐(p∨q))∨q)
<=>
1