Flujograma de Factura de Compra

Operadores lógicos
La sintaxis especifica una serie de reglas de construcción que deberán cumplir las fórmulas para ser sintácticamente correctas. Los elementos que estudiaremos en una fórmula, enlógica proposicional son:
Símbolos: p, q, r.
Operadores: negación, conjunción, disyunción, condicinal, disyunción exclusiva
Paréntesis: ( )
Las reglas de construcción sintácticas son:
Un símbolosólo no es una fórmula
Los operadores unarios se anteponen al símbolo. Los operadores binarios se sitúan entre los símbolos.
Los paréntesis han de estar bien formados, y ha de haber tantosparéntesis de abertura como de cierre:
Son correctos: (p), p and (q), p or ((not q) and r)...
No son correctos: (), (p (or) q), p and (q or (not r)...
Son fórmulas:
p, not p, p and q, p xor (not q), not (p-> q)...
Hemos hablado de operadores unarios y binarios. Los primeros afectan sólo a un símbolo o fórmula, en cambio los segundos afectan a los 2 símbolos o fórmulas que haya a su izquierda yderecha.
Una fórmula es cualquier combinación de elementos que cumplan las reglas sintácticas. Por ejemplo, si tengo un símbolo p: "hace frío". La fórmula not p equivale a "no hace frío".
De los símbolosno hay nada más que decir, son letras minúsculas del alfabeto. En cuanto a los operadores lógicos, no vamos a verlos todos, sólo los necesarios para comprender la lógica que después aplicaremos a laprogramación. Cada operador está representado por un símbolo:
Operador
Símbolo
Tipo
negación
Not
unario
conjunción
And
binario
disyunción
Or
binario
condicional
->
binario
disyunciónexclusiva
Xor
binario
Veamos la tabla de prioridad (precedencia) y asociatividad de los operadores de mayor a menor prioridad:
Operador
Asociatividad
( )
 
not
Derecha
and
Izquierda
xorIzquierda
or
Izquierda
->
Izquierda
 

Nota: Aunque los paréntesis no son un operador, se han considerado ya que son los primeros que se interpretan.

La asociatividad de los operadores indica...