Documentos de Académico
Documentos de Profesional
Documentos de Cultura
UNIVERSIDAD NACIONAL
MAYOR DE SAN MARCOS
Universidad del Perú, DECANA DE AMÉRICA
LIMA, 2020
Universidad Nacional Mayor de San Marcos
Introducción Teórica
Fue desarrollada por Charles Sanders Peirce por los años 1880, pero el formato más popular es el
que introdujo Ludwig Wittgenstein en su “Tractatus logico-philosophicus”, publicado en 1921.
La tabla de los "valores de verdad", es usada en el ámbito de la lógica, para obtener la verdad (V) o
falsedad (F), valores de verdad, de una expresión o de una proposición. Además, sirven para
determinar si es que un determinado esquema de inferencia es formalmente válido como un
argumento, llegando a la conclusión de que este es una tautología (se habla de una tautología
cuando todos los valores de la tabla mencionada son "V" o sea verdadero).
Universidad Nacional Mayor de San Marcos
Un circuito lógico puede implementarse a partir de su función booleana. Sin embargo, el uso de la
tabla de verdad puede ser el punto de partida para la implementación del mismo circuito lógico. L
a función booleana estará compuesta de términos en suma de productos y queda determinada
para los productos para los que la salida es igual a 1.
̅ 𝑩𝑪 + 𝑨𝑩
Así de la tabla anterior tenemos la siguiente función booleana: 𝒀 = 𝑨 ̅𝑪̅
Procedimiento
A. Tabla 1
A B C F
0 0 0 1
0 0 1 0
0 1 0 1
0 1 1 0
1 0 0 1
1 0 1 0
1 1 0 1
1 1 1 1
Universidad Nacional Mayor de San Marcos
̅𝑩
𝑭=𝑨 ̅𝑪
̅+𝑨
̅ 𝑩𝑪
̅ + 𝑨𝑩
̅𝑪̅ + 𝑨𝑩𝑪
̅ + 𝑨𝑩𝑪
̅𝑩
𝑭=𝑨 ̅𝑪
̅+𝑨
̅ 𝑩𝑪
̅ + 𝑨𝑩
̅𝑪̅ + 𝑨𝑩𝑪
̅ + 𝑨𝑩𝑪 + 𝑨𝑩𝑪
̅ … (𝟏)
(𝟏) 𝑿 + 𝑿 = 𝑿
̅𝑪
𝑭=𝑨 ̅ (𝑩
̅ + 𝑩) + 𝑨𝑪
̅ (𝑩
̅ + 𝑩) + 𝑨𝑩(𝑪 + 𝑪
̅)
̅𝑪
𝑭=𝑨 ̅ + 𝑨𝑪
̅ + 𝑨𝑩
̅ (𝑨
𝑭=𝑪 ̅ + 𝑨) + 𝑨𝑩
̅
𝑭 = 𝑨𝑩 + 𝑪
Simulando la función:
B. Tabla 2
A B C D F
0 0 0 0 0
0 0 0 1 0
0 0 1 0 1
0 0 1 1 1
0 1 0 0 0
0 1 0 1 0
0 1 1 0 0
0 1 1 1 1
1 0 0 0 1
1 0 0 1 1
1 0 1 0 1
1 0 1 1 1
1 1 0 0 0
1 1 0 1 0
1 1 1 0 0
1 1 1 1 1
̅𝑩
𝑭=𝑨 ̅ 𝑪𝑫
̅ +𝑨
̅𝑩̅ 𝑪𝑫 + 𝑨
̅ 𝑩𝑪𝑫 + 𝑨𝑩
̅𝑪̅𝑫
̅ + 𝑨𝑩
̅𝑪̅ 𝑫 + 𝑨𝑩
̅ 𝑪𝑫
̅ + 𝑨𝑩
̅ 𝑪𝑫 + 𝑨𝑩𝑪𝑫
̅𝑩
𝑭=𝑨 ̅𝑪
̅ (𝑫
̅ + 𝑫) + 𝑩𝑪𝑫(𝑨
̅ + 𝑨) + 𝑨𝑩
̅𝑪̅ (𝑫
̅ + 𝑫) + 𝑨𝑩
̅ 𝑪(𝑫
̅ + 𝑫)
̅𝑩
𝑭=𝑨 ̅ 𝑪 + 𝑩𝑪𝑫 + 𝑨𝑩
̅𝑪̅ + 𝑨𝑩
̅ 𝑪 + 𝑨𝑩
̅ 𝑪. . . (𝟏)
(𝟏) 𝑿 + 𝑿 = 𝑿
Universidad Nacional Mayor de San Marcos
̅ 𝑪(𝑨
𝑭=𝑩 ̅ + 𝑨) + 𝑨𝑩
̅ (𝑪
̅ + 𝑪) + 𝑩𝑪𝑫
̅ +𝑩
𝑭 = 𝑨𝑩 ̅ 𝑪 + 𝑩𝑪𝑫
̅ + 𝑪(𝑩
𝑭 = 𝑨𝑩 ̅ + 𝑩𝑫) … (𝟐)
̅𝒀 = 𝑿 + 𝒀
(𝟐) 𝑿 + 𝑿
̅ + 𝑪(𝑩
𝑭 = 𝑨𝑩 ̅ + 𝑫)
Conclusiones
▪ Las tablas de verdad son, por una parte, uno de los métodos más sencillos y
conocidos de la lógica formal, pero al mismo tiempo también uno de los más
poderosos y claros.
▪ Entender bien las tablas de verdad es, en gran medida, entender bien a la lógica
formal misma.
▪ Una función lógica se puede reemplazar por una función lógica equivalente, que
puede simplificar el diseño de un circuito, reducir los costos, o permitir usar
componentes más fáciles de conseguir.