《离散数学》加分题：已知命题p和q的真值，求他们的合取、析取、异或……

最新推荐文章于 2022-01-24 11:31:13 发布

weijieAh

最新推荐文章于 2022-01-24 11:31:13 发布

阅读量8.5k

点赞数 5

分类专栏： C++编程实验

本文链接：https://blog.csdn.net/HuangWeiJie2013/article/details/40287573

版权

这篇博客介绍如何根据命题p和q的真值，通过编程计算它们的合取（AND）、析取（OR）、异或（XOR）等逻辑运算的结果。通过命令行输入p和q的真假，程序将输出相应的逻辑运算真值。

摘要由CSDN通过智能技术生成

1 已知命题p和q的真值，求他们的合取、析取、异或、条件语句和双条件语句的真值。

从命令行输入p、q的真值，计算并输出出组合的真值

代码如下：

#include<iostream>
#include<iomanip>
using namespace std;

template<class R1,class R2>
R1 Conjunction(R1 a,R2 b)
{
	int i;
	if(a==1&&b==1)
		i=1;
	else
		i=0;
	cout<<"p和q的合取：p∧q="<<i<<endl;
	return i;
}

template<class P1,class P2>
P1 Disjunction(P1 a,P2 b)
{
	int i;
	if(a==0||b==0)
		i=0;
	else
		i=1;
	cout<<"p和q的析取：p∨q="<<i<<endl;
	return i;
}

template<class M1,class M2>
M1 C_Statements(M1 a,M2 b)
{
	int i;
	if(a==0||(a==1&&b==1))
		i=1;
	else
		i