Red de conocimiento informático - Aprendizaje de programación - Du programación

Du programación

a-z+es o *is and_is→ # is⊕(agregue blanco+blanco+ en el círculo) @是⊙.

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