离散数学实验：计算真值

一、实验目的

熟悉五个常用联结词合取、析取、条件和双条件的概念，掌握真值表技术。

二、实验内容

本实验要求从键盘输入两个命题P和Q的真值，求它们的合取、析取、条件和双条件的真值。用C语言或MATLAB实现。

三、实验源程序

#include<stdio.h>
int main()
{
	int P, Q;
	printf("从键盘输入两个命题P和Q的真值\n");
	scanf_s("%d %d", &P, &Q);
	printf("P合取Q为%d\n", (P && Q));
	printf("P析取Q为%d\n", (P || Q));
	int judge1, judge2, judge3;
	if (P == 1 && Q == 0)
		judge1 = 0;
	else
		judge1 = 1;
	printf("P->Q为%d\n", judge1);
	if (Q == 1 && P == 0)
		judge2 = 0;
	else
		judge2 = 1;
	printf("Q->P为%d\n", judge2);
	if (Q == P)
		judge3 = 1;
	else
		judge3 = 0;
	printf("P<->Q为%d", judge3);
	return 0;
}

四、实验分析

这是一个简单的实验，明白四个关系的具体含义，利用程序中的对应代码进行替换判断即可。