Tenemos: ((((p1 -> p2) -> p1) -> p2) -> p1)
Donde:
((p1 -> p2) -> p1) := (p1 -> p2)
y
((p1 -> p2) -> p2) := (p1->p2)
Entonces la otra opción de largo mínimo además de (p1 -> p2)
sería ((NOTp2) -> (NOTp1)) ?
Hola Bruno, no entendí la notación que usás... ¿Qué es :=?
Tené en cuenta que una secuencia de formación es una secuencia (una lista)
que tiene que cumplir algunas condiciones que están en la definición.
Lo que pide el ejercicio es dar dos de estas listas:
distintas, pero las dos de largo mínimo.
Saludos
Tené en cuenta que una secuencia de formación es una secuencia (una lista)
que tiene que cumplir algunas condiciones que están en la definición.
Lo que pide el ejercicio es dar dos de estas listas:
distintas, pero las dos de largo mínimo.
Saludos