Next: Formas canónicas
Up: Resolución: un procedimiento de
Previous: Resolución: un procedimiento de
- resolución generalizada con disyunciones
para los literales 
y 
, con 
- resolución generalizada con implicaciones
para los literales , , 
, 
, y con 
Alvaro Barreiro Garcia
Thu Jul 18 18:35:01 MET DST 1996