﹁(p ∨ q) ∧ ((p ∨ r) ∨ s)的真值表用C、C++、Java，JavaScript编写_用java编写输入p,q,r,s的真值,输出命题公式的真值-CSDN博客

本文链接：https://blog.csdn.net/Chasony/article/details/121063122

C语言

#include<stdio.h>
//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;
}

C++

#include<iostream>
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 << "             |" <<endl;
				}
			}
		}
	}


	return 0;
}

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

<!DOCTYPE html>
<html lang="en">

<head>
    <meta charset="UTF-8">
    <meta http-equiv="X-UA-Compatible" content="IE=edge">
    <meta name="viewport" content="width=device-width, initial-scale=1.0">
    <title>Document</title>
    <style>
        body{
            margin-top: 4%;
            padding: 0;
            border: 0;
            font-size: 24px;
        }
        .top{
            margin-bottom: 20px;
            font-weight: bolder;
            text-align: center;
        }
        table{
            margin: 0 auto;
            border-top: 1px solid black;
            border-left: 1px solid black;
            border-spacing: 0;
        }
        td{
            padding: 4px 14px;
            border-right: 1px solid black;
            border-bottom: 1px solid black;
            text-align: center;
        }
        td:nth-child(-n+4){
            padding: 4px 30px;
        }
        
    </style>
</head>

<body>
    <div>
        <div class="top">
            ﹁(p ∨ q) ∧ ((p ∨ r) ∨ s)的真值表
        </div>
        <table id="table">

        </table>
    </div>
    

    <script>
        function negetion(p) {
            let z;
            if (p == 0) {
                return z = 1;
            } else {
                return z = 0;
            }
        }
        function conjunction(p,q) {
            let z;
            if ((p == 1) && (q == 1)) {
                return z = 1;
            } else {
                return z = 0;
            }
        }
        function disjunction(p,q) {
            let z;
            if ((p == 1) || (q == 1)) {
                return z = 1;
            } else {
                return z = 0;
            }
        }
        var z1, z2, z3, z4, z5;
        var table = document.getElementById("table");
        table.innerHTML=`
            <tr>
                <td>p</td>
                <td>q</td>
                <td>r</td>
                <td>s</td>
                <td>p ∨ q</td>
                <td>p ∨ r</td>
                <td>﹁(p ∨ q)</td>
                <td>(p ∨ r) ∨ s</td>
                <td>﹁(p ∨ q) ∧ ((p ∨ r) ∨ s)</td>
            </tr>
        `;
        for (var p = 0; p < 2; p++) {
            for (var q = 0; q < 2; q++) {
                for (var r = 0; r < 2; r++) {
                    for (var 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)
                        table.innerHTML+=`
                            <tr>
                                <td>${p}</td>
                                <td>${q}</td>
                                <td>${r}</td>
                                <td>${s}</td>
                                <td>${z1}</td>
                                <td>${z3}</td>
                                <td>${z2}</td>
                                <td>${z4}</td>
                                <td>${z5}</td>
                            </tr>
                        `;
                    }
                }
            }
        }
    </script>
</body>

</html>