¿Qué es?
Dada una Fórmula Proposicional X, la función Rango(X) devuelve ‘el tamaño’ de esta rama o ramas máximas. En particular, en cada rama se puede medir el número de transiciones desde cada nodo al siguiente. Y Rango(X) devuelve el máximo de estas medidas sobre las ramas del árbol.
La función Rango(X) se define recursivamente como:
rango-de-un-arbol.excalidraw
⚠ Switch to EXCALIDRAW VIEW in the MORE OPTIONS menu of this document. ⚠ You can decompress Drawing data with the command palette: ‘Decompress current Excalidraw file’. For more info check in plugin settings under ‘Saving’
Excalidraw Data
Text Elements
Embedded Files
f548b2ce24929b7cb8d8b3180fa0f0c5d84bb3ac: rango-de-un-arbol.png
Enlace al original
