Posterior:
Valores de verdad
Arriba:
Cálculo proposicional
Anterior:
Cálculo proposicional
Semántica
Subsections
Valores de verdad
Asignaciones
Reglas de propagación de valores de verdad
Formas conjuntivas y formas disyuntivas
Cláusulas y frases signadas
Cálculo de consecuencias lógicas
Formalización de problemas de lógica
Optimización de formas conjuntivas y disyuntivas
Mapas de Karnaugh
Algoritmo de Quine-McCluskey
Guillermo Morales-Luna
2004-07-27
