NOTACIÓN PREFIJA

UMG
Notación prefija
Una fórmula proposicional puede ser presentada e
interpretada sin ambigüedades siempre y cuando se tenga
establecida una prioridad para los operadores.

La notación prefija permite representar fórmulas

proposicionales de forma tal que los operadores que la
componen, anteceden a los átomos de la fórmula. Estos
operadores deben ser binarios.
Esta forma de escribir fórmulas es útil cuando se quiere
programar pilas de instrucciones, además, permiten eliminar los
paréntesis, es decir, la nueva fórmula sólo contiene operadores
lógicos y letras proposicionales.

La notación prefija fue desarrollada por el lógico polaco Jan

Lukasiewicz en los años 50, razón por la cual se le conoce como
notación polaca.
Inicialmente, la notación polaca no usaba los mismos
símbolos para expresar las fórmulas. Lukasiewicz
utilizo otras letras para representar los operadores lógicos:

Nombre Notación sufija Notación polaca

Negación ￢p Np
Disyunción p∨q Apq
Conjunción p∧q Kpq
Condicional p→q Cpq
Bicondicional p↔q Epq

Símbolos de la notación polaca

Expresiones en prefijo
Para transformar una fórmula proposicional a su equivalente
en prefijo, es posible establecer una serie de pasos.

➢ Por ejemplo, para la fórmula: a ∧ b, para expresarla en

prefijo, se deben realizar los siguientes pasos:
1. Se debe agrupar los elementos de la fórmula, teniendo en
cuenta la prioridad de los operadores (a ∧ b)
2. Se debe escribir en prefijo la fórmula proposicional: ∧ab
➢ Por ejemplo, se desea transformar la fórmula: a ∨ (b ∧
c), a su equivalente en prefijo:

• Se convierte inicialmente a prefijo la fórmula que está

entre paréntesis: a ∨ (∧bc)

• Considerando la expresión (∧bc) como un operando, la

expresión en prefijo queda ∨a ∧ bc (Fórmula en prefijo)
➢ Dada la siguiente fórmula: (p → q ∨ s) → (q ↔ r ∧ t), se debe
transformar a su equivalente en prefijo. En este caso es
necesario agrupar los átomos de la fórmula teniendo en cuenta la
precedencia de los operadores.
• La fórmula queda expresada de la siguiente manera:
(p → (q ∨ s)) → (q ↔ (r ∧ t))
• Primero se aplica el procedimiento de transformar a prefijo las
expresiones que están con paréntesis más internos:
(p → (∨qs)) → (q ↔ (∧rt))
• Posteriormente es posible eliminar de la fórmula los paréntesis
más internos: (p → ∨qs) → (q ↔ ∧rt)
• Luego se trasforma a prefijo tanto la fórmula (p → ∨qs) como
(q ↔ ∧rt), quedando de la siguiente manera:
(→ p ∨ qs) → (↔ q ∧ rt)
• Finalmente se transforma la fórmula en prefijo y la misma queda
expresada de la siguiente manera: →→ p ∨ qs ↔ q ∧ rt
➢ Dada la siguiente fórmula:
(a ∨ b) ∧ (b → a)

• La prioridad está establecida mediante la agrupación

de los operandos por paréntesis:
(∨ab) ∧ (→ ba)
• Las expresiones (∨ab) y (→ ba) son consideradas
operandos, entonces se procede a transformar la
fórmula a prefijo. Se eliminan los paréntesis existentes
en la fórmula.
∧ ∨ ab → ba
➢ En este nuevo ejemplo, se transformará la expresión a su
equivalente en prefijo: (p ↔ q) ∨ ((q → r) ∧ (r → p))

(↔ pq) ∨ ((→ qr) ∧ (→ rp))

(↔ pq) ∨ (∧ → qr → rp)
∨ ↔ pq∧ → qr → rp

➢ Ahora bien, dada la fórmula: (p ∨ q) ∧ r ∧ s

Se inicia agrupando por paréntesis teniendo en cuenta la
prioridad de operadores y posteriormente se resuelve la
fórmula a prefijo. (((p ∨ q) ∧ r) ∧ s)

(((∨pq) ∧ r) ∧ s)
((∧ ∨ pqr) ∧ s)
∧ ∧ ∨pqrs
➢ Transformar a prefijo la siguiente fórmula proposicional:
p ∧ (q ∨ s) ∧ t ∧ (p ↔ q)
La fórmula se agrupa por medio de paréntesis:
(((p ∧ (q ∨ s)) ∧ t) ∧ (p ↔ q))

((p ∧ (∨qs)) ∧ t) ∧ (↔ pq)

((∧p ∨ qs) ∧ t) ∧ (↔ pq)
(∧ ∧ p ∨ qst) ∧ (↔ pq)
∧ ∧ ∧p ∨ qst ↔ pq
Árbol de formación
Una fórmula proposicional bien formada puede
representarse mediante un árbol de formación. Por
ejemplo la fórmula: p∧(q∧s), se expresa mediante un
árbol de formación de la siguiente forma:

Árbol de formación de p ∧ (q ∧ s)
Un árbol de formación se puede construir a partir de la
transformación a su equivalente en prefijo.
Por ejemplo si se tiene la fórmula p → q, primero se transforma a
notación en prefijo: → pq. El operador → (primer elemento) se
inserta como la raíz del árbol de formación. Posteriormente se
insertan por la izquierda elementos a la fórmula hasta que se
encuentre un operador, para este caso se inserta el átomo p.
Posteriormente se regresa en el árbol hasta el padre del nodo
insertado y se inserta el siguiente elemento en la derecha del nodo.
Si el elemento insertado fue un operador, este se inserta a la
izquierda. Si el elemento insertado fue un átomo, se regresa en la
altura del árbol y se inserta el siguiente elemento a la derecha. Este
proceso continúa hasta que se agote la expresión escrita en prefijo.
El árbol de formación para la fórmula: p ∧ q ∨ r, se construye a
partir de su equivalente en prefijo.
Inicialmente se agrupa la expresión de acuerdo a la precedencia
de los operadores:
((p ∧ q) ∨ r)
((∧pq) ∨ r)
∨ ∧ pqr
La siguiente figura muestra el árbol de formación para la
expresión: p ∧ q ∨ r
La fórmula: r ∧ p → (s ↔ r) ∧ p, en su equivalente en prefija es:
(r ∧ p) → ((s ↔ r) ∧ p)
(∧rp) → ((↔ sr) ∧ p)
(∧rp) → (∧ ↔ srp)
→ ∧rp∧ ↔ srp
El árbol de formación de la fórmula es:
Actividad
1. Eliminar todos los paréntesis posibles de las siguientes fórmulas:
• (((p → q) ∨ r) → (p ∧ ￢p))
• (￢(p ∧ q) → (q ∧ r))
• ((p → (q ∧ r)) → (￢￢p ∧ q))
• (((p ∨ q) ∨ (r ∨ s)) → ￢p)

2. Escribir con paréntesis las siguientes fórmulas:

• p→q↔r∨s
• q → ￢p ∨ r ∨ s
3. Transformar a prefija las siguientes expresiones y luego
dibuje su árbol de formación :
• (￢(￢p ∨ ￢q ∨ q)) → q
• (p ∨ q ∧ r) → q
• (p → p → q) ↔ (p ∨ q ∧ r)