Du programación
La "operación NAND" ("puerta NAND") de la proposición $ es =
% de la operación NOR es ↓proposición ("puerta NOR")
p>
Fórmula de fuente de entrada:
A*! S+R
NORMALc:(!A*!B*!R)+(A*!B*!R)+(!A*B*!R)+(A*B*!R )+(!A*!B*R)+(!A*B*R)+(A*B*R)
NORMALd(!A+B+!r)
¡Error!
Fórmula fuente de entrada:
A#B
¡Aquí!
4 términos de conteo
NORMALc: (A*!B)+(!A*B)
NORMALd (A+B)*(!A+! b)
¡Error!
Fórmula de fuente de entrada:
Stack & ltchar & gtstk
bool isVar(char ch)const;
void addMin(int minterm );
void add max(int max term);
Cálculo booleano (int minterm);
void getinversepolan();
int count Terms(int n);
void asignar(int minterm);
pila<bool>bolsterk;
Público:
formulaBase();
Base de fórmula (base de fórmula constante y ampRHS);
~ base de fórmula();
void getSource( );
cout & lt& lt"¡Entrada no válida!"
"Operación nuevamente:" & lt& ltendl
CIN & gt;& gtFórmula de origen;* /
}
fórmula nula base::getinversepolan()
{
temperatura de char, temperatura 1;
for(int I = 0; sourceFormula[i]!='\0';i++)
STK . pop();
}
else break
}
STK . push(temp);
Romper;
Caso ' * ':
Y (!stk. vacío()
//Ingrese una forma normal disyuntiva principal desde el teclado y genere la forma normal conjuntiva principal equivalente ┐∧∨
# include & ltiostream & gt
.# include & ltcmath & gt
# include & ltwindows.h & gt
Usar espacio de nombres estándar
Datos extendidos:
(1) Una variable proposicional es una fórmula proposicional.
(2) Si A es una fórmula proposicional, entonces
(3) Si A y B son fórmulas proposicionales, entonces? (A∧B), (A∨B), (A→B) y (A?b) son todas fórmulas proposicionales
(4) Si y sólo si (1), (2), y (3) tienen una aplicación limitada, la cadena de símbolos que contiene variables proposicionales, conjunciones y paréntesis es una fórmula proposicional.
La definición de fórmula proposicional es una forma de definición recursiva. La fórmula proposicional en sí misma no es una proposición y no tiene valor de verdad. Tiene un valor de verdad sólo después de asignar un valor a su variable proposicional.
Los cinco operadores de conexión tienen diferentes prioridades.
Cuando aparecen simultáneamente en una fórmula proposicional, el orden de precedencia de las operaciones entre conexiones es ∧, ∨, →, y si hay paréntesis, las operaciones entre paréntesis tienen prioridad.
Enciclopedia Baidu-Fórmula proposicional