1. Lógica proposicional

Reglas de inferencia

2. Álgebra de Boole

Reglas de Boole

Teorema de Demorgan

Mapa de Karnaugh

simplificar por 1 = suma de productos = mini términos

simplificar por 0 = producto de sumas = maxi términos

• Las columnas que tienen todas el mismo número, se pone la variable normal si coinciden los números con la resolución (columna de unos y se resuelve por 1 o columna de ceros y se resuelve por 0) o negada si no coinciden los números con la resolución (columna de unos y se resuelve por 0 o columna de ceros y se resuelve por 1)
• Las columnas que tiene dos números distintas se tachan y no va ninguna variable

3. Grafos

Definición de un grafo

Dijkstra - Recorrido mínimo