﹁(p ∨ q) ∧ ((p ∨ r) ∨ s)的真值表用C、C++、Java，JavaScript编写

#include
//A = ﹁(p ∨ q) ∧ ((p ∨ r) ∨ s)
int negetion(int p) {
	int z;
	if (p == 0)
		return z = 1;
	else
		return z = 0;
}
int conjunction(int p, int q) {
	int z;
	if ((p == 1) && (q == 1))
		return z = 1;
	else
		return z = 0;
}
int disjunction(int p, int q) {
	int z;
	if ((p == 1) || (q == 1))
		return z = 1;
	else
		return z = 0;
}
int main() {
	int z1, z2 ,z3, z4, z5;
	printf("  p  |  q  |  r  |  s  |  p ∨ q |  p ∨ r |﹁(p ∨ q)|(p ∨ r) ∨ s|﹁(p ∨ q) ∧ ((p ∨ r) ∨ s)|n");
			//p  |q    |r    |  s  |    z1   |    z3   |     z2   |       z4    |             z5              |
	for (int p = 0; p < 2; p++)
	{
		for (int q = 0; q < 2; q++)
		{
			
			for (int r = 0; r < 2; r++)
			{
				for (int s = 0; s < 2; s++)
				{
					z1 = disjunction(p, q);	 //p ∨ q
					z2 = negetion(z1);		 //﹁(p ∨ q)
					z3 = disjunction(p, r);	 //p ∨ r
					z4 = disjunction(z3, s); //(p ∨ r) ∨ s
					z5 = conjunction(z2, z4);//﹁(p ∨ q) ∧ ((p ∨ r) ∨ s)
					printf("  %d  |  %d  |  %d  |  %d  |    %d    |    %d    |     %d    |      %d      |              %d              |n", p, q, r, s, z1, z3, z2, z4,z5);
				}
			}
		}
	}
	
	
	return 0;
}

#include
using namespace std;
//A = ﹁(p ∨ q) ∧ ((p ∨ r) ∨ s)
int negetion(int p) {
	int z;
	if (p == 0)
		return z = 1;
	else
		return z = 0;
}
int conjunction1(int p, int q) {
	int z;
	if ((p == 1) && (q == 1))
		return z = 1;
	else
		return z = 0;
}
int disjunction1(int p, int q) {
	int z;
	if ((p == 1) || (q == 1))
		return z = 1;
	else
		return z = 0;
}
int main() {
	int z1, z2, z3, z4, z5;
	cout << "  p  |  q  |  r  |  s  |  p ∨ q |  p ∨ r |﹁(p ∨ q)|(p ∨ r) ∨ s|﹁(p ∨ q) ∧ ((p ∨ r) ∨ s)|" << endl;
	//p  |q    |r    |  s  |    z1   |    z3   |     z2   |       z4    |             z5              |
	for (int p = 0; p < 2; p++)
	{
		for (int q = 0; q < 2; q++)
		{

			for (int r = 0; r < 2; r++)
			{
				for (int s = 0; s < 2; s++)
				{
					z1 = disjunction1(p, q);	 //p ∨ q
					z2 = negetion(z1);		 //﹁(p ∨ q)
					z3 = disjunction1(p, r);	 //p ∨ r
					z4 = disjunction1(z3, s); //(p ∨ r) ∨ s
					z5 = conjunction1(z2, z4);//﹁(p ∨ q) ∧ ((p ∨ r) ∨ s), , , s, z1, z3, z2, z4, z5 
					cout <<"  " << p<< "  |" << "  " << q  << "  |  " << r << "  |  " << s << "  |    " << z1 <<"    |    " << z3 <<"    |     "  << z2 << "    |      " << z4 << "      |               " << z5 << "             |" < 
Java 
public class DMProject1 {
    public static int negetion(int p) {
        int z;
        if (p == 0)
            return z = 1;
        else
            return z = 0;
    }

    public static int conjunction(int p, int q) {
        int z;
        if ((p == 1) && (q == 1))
            return z = 1;
        else
            return z = 0;
    }

    public static int disjunction(int p, int q) {
        int z;
        if ((p == 1) || (q == 1))
            return z = 1;
        else
            return z = 0;
    }

    public static void main(String[] args) {
        int z1, z2, z3, z4, z5;
        System.out.println("  p  |  q  |  r  |  s  |  p ∨ q |  p ∨ r |﹁(p ∨ q)|(p ∨ r) ∨ s|﹁(p ∨ q) ∧ ((p ∨ r) ∨ s)|");
        for (int p = 0; p < 2; p++) {
            for (int q = 0; q < 2; q++) {
                for (int r = 0; r < 2; r++) {
                    for (int s = 0; s < 2; s++) {
                        z1 = disjunction(p, q);     //p ∨ q
                        z2 = negetion(z1);         //﹁(p ∨ q)
                        z3 = disjunction(p, r);     //p ∨ r
                        z4 = disjunction(z3, s); //(p ∨ r) ∨ s
                        z5 = conjunction(z2, z4);//﹁(p ∨ q) ∧ ((p ∨ r) ∨ s)
                        System.out.println("  "+p+"  |  "+q+"  |  "+r+"  |  "+s+"  |   "+z1+"    |    "+z3+"   |    "+z2+"    |     "+z4+"     |            "+z5+"           |");

                    }
                }
            }
        }
    }
}

 
Javascript 




    
    
    
    
    



    

        

            ﹁(p ∨ q) ∧ ((p ∨ r) ∨ s)的真值表