1. Algoritmo de tabla de verdad 2012 2. Algoritmo de desambiguación 2012
Entrada: (!p|q)amp; (p|q)amp (!q) Salida: NO
Entrada: (p|q)amp; (q|!q)amp; (q|!r)amp; (q|r) Salida: #includelt;
usando el espacio de nombres
int main();
{ cadena s1, s2 = "";
char s[30];
cingt;
(int i=0; ilt; 2; i )
s[i] = s1[i]
s[2] = s2 =s;
if(s2 == "(!") coutlt;lt; "NO"lt;lt;endl;
else if(s2 == "(p"|| (s1[3 ] == 'p' amp; s1[7] == 'amp;')) coutlt;lt; "SÍ"lt;lt;endl;
else coutlt;lt; lt; endl;
devolver 0;
SÍ