![atras](izda.png)
![adelante (solo si previamente se ha ido
atras)](dcha.png)
3.8.2. Transformación en forma clausulada
El procedimiento para encontar la sentencia en forma clausulada equivalente a
cualquier sentencia consiste en transformaciones sucesivas de ésta teniendo en
cuenta algunas de las equivalencias entre sentencias que hemos listado en el
Apartado 3.4.2 (etiquetadas con un número de 1 a 10). Podemos descomponerlo en tres
pasos:
- Eliminar condicionales y bicondicionales, aplicando la equivalencia (9), es
decir:
¬
y que, por definición,
(
)
- Introducir negaciones mediante las equivalencias (1) (doble negación), (2)
y (3) (de Morgan):
¬(¬
)
¬(
)
¬
¬
¬(
)
¬
¬
- Distribuir «
»
con la equivalencia (4):
L1
(L2
L3)
(L1
L2)
(L1
L3)
![atras](izda.png)
DIT-ETSIT-UPM