构造命题公式的真值表
- 1:实验类型:验证性
- 2:实验目的:
- 3:逻辑联结词的定义方法
- 4:命题公式的表示方法
- 5:【实验内容】
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;
}