析取范式和合取范式基本操作代码

#include <iostream>
#include <math.h>
using namespace std;
void shuru(char *p,int s);
void shuchu(char *p,int s);
void panduan(int s,int p,char *a,char b);
void shizi(char *p,int s);
void shiz(char *p,int s,char *a,char b);
char b[10]={'p','q','r','s','d','m','n','l','j','k'};
int main()
{
    int n;
    cout<<"input the value of n"<<endl;
    while(!(cin>>n))
    {
    cin.clear();
    cin.sync();
    cout << "不是数字"<<endl;
    }
    cout<<"input T or F"<<endl; 
    char a[100];
    shuru(a,n);
    cout<<"----------------------"<<endl;
    for(int i=0;i<n;i++){//根据命题数输出命题符号 
        cout<<b[i]<<"        ";
        }
    cout<<"VALUE"<<endl;
    shuchu(a,n);
    shizi(a,n);
}
void shuru(char *p,int s){
    for (int i=0;i<pow(2,s);i++)//判断输入的是否为F或者T,若是,存入数组a,反之,跳过 
    {
            char h; 
            while(1)
            {
                cin>>h;
                if(h=='T' || h=='F')
                {
                p[i]=h;
                break;
                }
                else
                {
                    getchar();
                }
            }
    }
}
void shuchu(char *p,int s){
    int k=0,c[2]={0,1};
    while(k<pow(2,s))//输出每个命题的真值 
    {
        for(int i=0;i<s;i++){
        if(int(k/pow(2,s-i-1))%2)
        cout<<"T"<<"        ";
        else
        cout<<"F"<<"        "; 
        }
        cout<<p[k]<<endl;
        k++;
    }
    cout<<endl;
}
void shiz(char *p,int s,char *a,char b){
    int flag=0;
    for(int i=0;i<pow(2,s);i++)
    {
        if(p[i]==b){
        if(flag==1)
        cout<<a;
        panduan(s,i,a,b);
        flag=1;
        }
    }
    if(flag==0)
    if(b=='T')
    cout<<"0"<<endl;
    else
    cout<<"1"<<endl; 
}
void shizi(char *p,int s){
    cout<<"主析取范式为:";
    shiz(p,s,"\\/",'T');
    cout<<endl<<"主合取范式为:";
    shiz(p,s,"/\\",'F');
}
void panduan(int s,int p,char *a,char c){
    cout<<"(";
    if (a=="\\/")
    a="/\\";
    else if(a=="/\\")
    a="\\/";
    int flag=0;
    for(int i=0;i<s;i++){
        if(flag==1)
        cout<<a;
        if(int(p/pow(2,s-i-1))%2)
            cout<<b[i];
        else
            cout<<"非"<<b[i];
        flag=1;
        }
    cout<<")";
}
 

  • 1
    点赞
  • 1
    评论
  • 5
    收藏
  • 一键三连
    一键三连
  • 扫一扫,分享海报

打赏
文章很值,打赏犒劳作者一下
相关推荐
©️2020 CSDN 皮肤主题: 大白 设计师:CSDN官方博客 返回首页

打赏

小皓同学

你的鼓励将是我创作的最大动力

¥2 ¥4 ¥6 ¥10 ¥20
输入1-500的整数
余额支付 (余额:-- )
扫码支付
扫码支付:¥2
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、C币套餐、付费专栏及课程。

余额充值