Editando General Problem Solver (sección)

==Proceso==
Simon y Newell proponen el ejemplo sobre cómo transformar la proposición lógica L1= R*(-P => Q) en L2=(Q \/ P)*R (Newell y Simon, 1972, página 420). Esta transformación sería procesada por el GPS de la siguiente manera:

* Objetivo 1: Transforma L1 en L0
* Objetivo 2: Reduce la diferencia entre L1 y L0
* Objetivo 3: Aplica R1 a L1
* Objetivo 4: Transforma L1 en una condición (R1)
* Producto L2: (-P => Q) *R
* Objetivo 5: Transforma L2 en L0
* Objetivo 6: Reduce la diferencia entre (L2) y (L0)
* Objetivo 7: Aplica R5 a (L2)
* Objetivo 8: Transforma (L2) en una condición (R5)
* Objetivo 9: Reduce la diferencia entre (L2) y (R5)
* Rechazado: No es más simple que el Objetivo 6
* Objetivo 10: Aplica R6 a (L2)
* Objetivo 11: Transforma (L2) en una condición (R5)
* Producto L3: (P \/ Q) *R
* Objetivo 12: Transforma L3 en L0
* Objetivo 13: Reduce la diferencia entre (L3) y (L0)
* Objetivo 14: Aplica R1 a (L3)
* Objetivo 15: Transforma (L3) en una condición (R1)
* Producto L4: (Q \/ P)*R
* Objetivo 16: Transforma L4 en L0
* Identifica, QED