消解算法

㈠ 1.真值表算法2012 2.消解算法2012

输入：(!p|q)&(p|q)&(!q) 输出：NO

输入：p&(p|q)&(p|!q)&(q|!r)&(q|r) 输出：#include<iostream>
using namespace std;

int main()
{ string s1,s2 = "";
char s[30];
cin>>s1;
for(int i=0;i<2;i++)
s[i] = s1[i];
s[2] = 0; s2+=s;
if(s2 == "(!") cout<<"NO"<<endl;
else if(s2 == "(p"|| (s1[3] =='p' && s1[7] == '&')) cout<<"YES"<<endl;
else cout<<"NO"<<endl;
return 0;
YES