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