Lógica segunda parte

Lista de contenido

Clasificación de las formulas proposicionales
Tabla de valores de verdad
Formulas lógicamente equivalentes
Leyes lógicas
Simplificación de formulas proposicionales
Circuitos lógicos
Lógica de bits(not, and, or, xor))
Compuertas lógicas y álgebra de Boole
Mapas de Karnaugh
Grafos dirigidos

Bienvenidos lectores a la continuación del tema de lógica

Clasificación de las tablas de verdad

Clasificación de las fórmulas proposicionales

Veremos que a la hora de realizar tablas de verdad utilizando formulas proposicionales tendremos 3 tipos de posibles resultados.

Tautología

Es una formula proposicional que siempre es verdadera, independientemente de los valores de verdad que la conforman(p,q,r). Se utilizara el símbolo " V " para indicar que es una tautología.

Tabla Tautología

$Tabla Tautología$
Como pueden apreciar en la imagen, si usamos las leyes lógicas para poder realizar la tabla de verdad el resultado final sera que todo nos dio verdadero

Anti-Tautología

Es una formula proporcional que siempre es falsa independientemente de los valores de verdad que la conforman. Se utilizara la letra " F " para indicar que es una Anti-Tautología

Como podemos ver en la siguiente imagen el resultado final del ejemplo es todo falso

Contingencia

Formula proposicional cuya tabla de verdad toma por lo menos una vez el valor de verdad " V " y por lo menos una vez el valor de verdad " F ", para alguna combinación de valores de verdad de las proposiciones que la conforman