已知命题公式A=﹁( p Ú q ) Ù ( (pÚ r) Ú s),用JAVA或C/C++语言编写程序构造该命题公式的真值表
时间: 2023-06-04 13:02:54 浏览: 246
好的,我会帮您构造该命题公式的真值表。以下是代码示例,供您参考:
```java
public class TruthTable {
public static void main(String[] args) {
boolean p, q, r, s;
System.out.println("p\tq\tr\ts\tA");
for (int i = 0; i < 2; i++) {
p = (i == 0);
for (int j = 0; j < 2; j++) {
q = (j == 0);
for (int k = 0; k < 2; k++) {
r = (k == 0);
for (int l = 0; l < 2; l++) {
s = (l == 0);
boolean A = !(p || q) && ((p || r) || s);
System.out.print(p + "\t" + q + "\t" + r + "\t" + s + "\t" + A);
System.out.println();
}
}
}
}
}
}
```
该程序会输出命题公式的真值表。其中,p、q、r、s 为逻辑变量,表示命题公式中的四个命题,取值为 true 或 false;A 为命题公式的值,根据题目给定的命题公式计算所得。在输出过程中,程序会逐行输出每种可能的逻辑变量组合对应的 A 值。
阅读全文
相关推荐

















