1：实验类型：验证性

2：实验目的：

使学生熟练掌握利用计算机语言实现逻辑运算的基本方法。

3：逻辑联结词的定义方法

逻辑连接词“非”
逻辑连接词“合取”
逻辑连接词“析取”
逻辑连接词“蕴涵”
逻辑连接词“等值”

4：命题公式的表示方法

给出任意一个命题公式，我们可以将它用C程序表示出来，并且能够计算它在各组真值指派下所应有的真值（或是逻辑运算的结果）。这有多种方法。上面我们已经给出了逻辑连结词的定义，根据这种定义方法，我们也可以把一个命题公式表示成为条件语句中的条件表达式，这样我们就可以得到该命题公式的逻辑运算结果了。

5：【实验内容】

设A、B、C、D为命题变元，编程画出下列命题公式的真值表:
(1)A^-B(2)CD
(3)(A^-B)→(CD)

代码实现:

#include <stdio.h>
int main() {
	int A[] = { 0,1 };
	int B[] = { 0,1 };
	int C[] = { 0,1 };
	int D[] = { 0,1 };
	int m = 0;
	int n = 0;
	int p = 0;
	printf("A B C D  A ∧-B  C V D  (A∧-B)→(C V D)\n");
	for (int i = 0; i < 2; i++) {
	  for (int j = 0; j < 2; j++) {
			for (int k = 0; k < 2; k++) {
				for (int l = 0; l < 2; l++) {
					
					if (A[i] && (!B[j])) {
						 m = 1;//两者都为1时，结果才为1，否则结果为0
					}
					else {
						m = 0;
					}
					if (C[k] || D[l]) {
						n = 1;//两者有一个为1时，结果为1，否则为0
					}
					else {
						n = 0;
					}
					if (m== 1 && (n== 0)) {
						 p = 0//当前一个条件为1，后一个条件为0时结果为0，其他情况下结果都为1
					}
					else {
					     p = 1;
					}
					printf("%d %d %d %d  %3d %6d %10d\n", A[i], B[j], C[k], D[l], m, n, p);
				}

			}
		}
	}
	return 0;
}