离散的简单题

仅供参考

#include<iostream>
using namespace std;
int main()
{
 int i;
 int p[3]={1,0,0};
 //c[i][0]表示前件
 //c[i][1]表示后件
 int c[2][2]={{0,1},{1,2}};
 //p[i]=1表示i为真
 //n=2//输入n个产生式
 for(i=0;i<3;i++)
 {
  if(p[c[i][0]]=1)//如果前件为真
  {
   c[i][1]=c[i][0];//将后件加入事实库
  }
 }
 if(c[i][1]=2)//如果后件与结论相等，输出yes
 {
  cout<<"yes"<<endl;
 }
 
}