Question

用C++编程构造(P∧(P→Q))→Q的真值表

Answer 1

(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

Answer 2

#include <iostream.h>
void main()
{
bool p,q,s;
cout<<"P和Q的真值表为:"<<endl;
cout<<"p 0 q 0 ";
cout<<"结果为：1"<<endl;
cout<<"p 0 q 1 ";
cout<<"结果为：1"<<endl;
cout<<"p 1 q 0 ";
cout<<"结果为：1"<<endl;
cout<<"p 1 q 1 ";
cout<<"结果为：1"<<endl;
}

Answer 3

先编三、四个基本真值表计算函数，与或非（蕴含），再在构造一个计算(P∧(P→Q))→Q的函数依次调用基本计算函数，主程序用二重循环，两重都循环0和1就完成了。

Answer 4

啥叫真值表