(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>
【P∧(P→Q 用C++编程构造)→Q的真值表】
using namespace std;
int main()
{
int Q,P;
cout<<"P Q (P∧(P->Q))->Qn";
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

• 好机油通常适合新车使用吗？
• 上海通用汽车生产基地有哪些？
• 户外活动对幼儿有什么作用
• 怎样用旧衣服做diy手工
• 如何用万用表测量电机电流？
• 电信里的ONU全称、原理是什么，有什么作用？
• 跑步机如何正确使用?
• 成都的街头美食蛋烘糕，是用什么配方和做法做出来的？
• iphone7可以用电信卡吗
• 本田稚阁的专用机油多少钱