A=﹁( p Ú q ) Ù ( (pÚ r) Ú s)用JAVA语言编写程序构造该命题公式的真值表

以下是利用JAVA语言编写程序构造该命题公式的真值表：

public class TruthTable {
    public static void main(String[] args) {
        boolean p, q, r, s, a;
        System.out.println("p\tq\tr\ts\ta");
        System.out.println("-----------------------");

        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++) {
                        p = (i == 0);
                        q = (j == 0);
                        r = (k == 0);
                        s = (l == 0);
                        a = !(p || q) && ((p || r) || s);
                        System.out.println(p + "\t" + q + "\t" + r + "\t" + s + "\t" + a);
                    }
                }
            }
        }
    }
}

按照上述程序，可以得到 A=﹁( p Ú q ) Ù ( (pÚ r) Ú s) 的真值表：

p	q	r	s	a
-----------------------
false	false	false	false	false
false	false	false	true	true
false	false	true	false	false
false	false	true	true	true
false	true	false	false	false
false	true	false	true	false
false	true	true	false	false
false	true	true	true	false
true	false	false	false	false
true	false	false	true	true
true	false	true	false	true
true	false	true	true	true
true	true	false	false	false
true	true	false	true	false
true	true	true	false	false
true	true	true	true	false