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;
}