构造命题公式的真值表--biaobiao88

对给出的任意一个命题公式（不超过四个命题变元），使学生会用C语言的程序编程表示出来，并且能够计算它在各组真值指派下所应有的真值，画出其真值表。

#include<iostream>
using namespace std;
struct
{
    int p[] = {,,,};
    int q[] = {,,,};
}m;

int main()
{
    cout << "  　 p：";
    for(int i = ;i < ;i++)
        cout << m.p[i] << "       ";
    cout << endl;
    cout << " 　  q：";
    for(int i = ;i < ;i++)
        cout << m.q[i] << "       ";
    cout << endl;
    //非p
    cout << "　 非p：";
    int copyp[];
    int k = ;
    int feip[k];
    for(int i = ;i < ;i++)
        copyp[i] = m.p[i];
    for(int i = ;i < ;i++)
    {
        if(copyp[i] == )
            copyp[i] = ;
        else
            copyp[i] = ;
    }
    for(int i = ;i < ;i++)
    {
        feip[i] = copyp[i];
        cout << copyp[i] << "       ";
    }
    cout << endl;
    //p交q
    cout << "p合取q：";
    for(int i = ;i < ;i++)
    {
        if(m.p[i] ==  || m.q[i] == )
            cout <<  << "       ";
        else
            cout <<  << "       ";
    }
    cout << endl;
    //p并ｑ
    cout << "p析取q：";
    for(int i = ;i < ;i++)
    {
        if(m.p[i] ==  || m.q[i] == )
            cout <<  << "       ";
        else
            cout <<  << "       ";
    }
    cout << endl;
    //p蕴含ｑ
    cout << "p蕴含q：";
    for(int i = ;i < ;i++)
    {
        if(feip[i] ==  || m.q[i] == )
            cout <<  << "       ";
        else
            cout <<  << "       ";
    }
    cout << endl;
    //p当且仅当q
    cout << "p等价q：";
    for(int i = ;i < ;i++)
    {
        if((m.p[i] ==  && m.q[i] == ) || (m.p[i] ==  && m.q[i] == ))
            cout <<  << "       ";
        else
            cout <<  << "       ";
    }
    cout << endl;
    return ;
}

运行结果：

以下代码为可输入的代码，用布尔值实现

#include<iostream>
using namespace std;

void function(bool x,bool y)
{
    bool m = x&y;
    bool n = x|y;
    bool a,b,c;
    if(x ==  && y == )
        a = ;
    else
        a = ;
    if(y ==  && x == )
        b = ;
    else
        b = ;
    if(x == y)
        c = ;
    else
        c = ;
    cout << "p   q   ﹁p   ﹁q   p∩q   p∪q   p→q   q→p   p←→p   p⊕q" << endl;
    cout << x << "   " << y << "     " << !x << "     " << !y << "     ";
    cout << m << "      " << n << "      ";
    cout << a << "      " << b << "       " << c << "       " << !c << endl;
}

int main()
{
    bool p,q;
    int n;
    cout << "请输入需要测试几组数据：";
    cin >> n;
    while(n--)
    {
        cout << "请输入命题p和命题q的真值：";
        cin >> p >> q;
        function(p,q);
    }
    return ;
}

运行结果：