16

DEFINICIÓN

UN CIRCUITO LÓGICO ES LA CON-

CEPCIÓN FÍSICA, USANDO DISPOSI-
TIVOS MECÁNICOS, HIDRAÚLICOS,
ELÉCTRICOS Y/O ELECTRÓNICOS , DE
UN CONJUNTO DE ORACIONES
DECLARATIVAS (PROPOSICIONES)
QUE SE FORMAN CON LA
INTERRELACIÓN DE VARIABLES
DISCRETAS, LAS CUALES SE RIGEN
POR UN CONJUNTO DE POSTULADOS
Y TEOREMAS.

ING. HÉCTOR PIÑA CANALES

 17

CAPITULO I. BREVES CONCEPTOS DE LÓGICA

En este tema se verán conceptos de la lógica clásica enunciada por Aristóteles, los
cuales son uno de los fundamentos básicos de los circuitos lógicos y que son punto
de partida para todo el desarrollo de lo que actualmente se conoce como sistemas
digitales.

DEFINICIONES:

LÓGICA: “Conjunto de leyes generales del pensamiento”

JUICIO: Acto mental por medio del cual se expresa cualquier enunciado.

Ejemplos:

Estamos en la ESIME.
Esa muchacha es muy guapa.
Hay examen.

PROPOSICIÓN: “Es una oración declarativa que puede tomar uno de dos valores
posibles: verdadera (V,1) ó falsa (F, 0).”

Se tienen dos tipos de proposición:

PROPOSICIÓN SIMPLE O ATÓMICA: “Es una idea expresada en su forma más

simple o sencilla o básica posible”.

Ejemplos:

Juan Carlos es buen estudiante.

El América es el mejor equipo de fútbol.

PROPOSICIÓN MOLECULAR O COMPUESTA: Es aquella en donde se enlazan o

interrelacionan una o más proposiciones atómicas usando uno o más términos de
enlace. A cada término de enlace se le conoce como “conectiva lógica”.

Ejemplos:

No estamos en diciembre.

Es lunes y hay clases.

CONECTIVAS LÓGICAS. Se definen 5 elementos básicos de conectivas lógicas que

permiten enlazar a las proposiciones atómicas:

ING. HÉCTOR PIÑA CANALES

 18

1.- NEGACIÓN: Se representa por: ¨ , ’, , y se lee como “no, es falso que,

no es verdad que, no es cierto que, el complemento de”.

2.- CONJUNCIÓN: Se representa por “ ˄ ” y se lee como “y”.

3.- DISYUNCIÓN: Se halla en dos formas:

a).- DISYUNCIÓN INCLUSIVA: Se representa por “v” y se lee como “o” y significa
“la una o la otra o ambas”.

b).- DISYUNCIÓN EXCLUSIVA: Se representa por “ ≡≡ ” y se lee como “o exclusi-

va” y significa “una u otra pero no ambas”.

4.- CONDICIONAL: se representa por “ ” y se lee como “si ... entonces”.

5.- BICONDICIONAL: se representa por “ ” o “ ≡ ” y se lee como “si y solo

si o condición suficiente y necesaria”.

Ejemplos:

Hoy es martes y hay clases.

El radio tiene el volumen bajo o está cerrada la puerta.

La pluma fuente tiene tinta azul o tinta negra.

Si estamos en diciembre entonces próximamente llegará la navidad.

El terreno dará buena cosecha si y solo si hay suficiente agua.

La luna no es de queso.

SIMBOLIZACIÓN DE PROPOSICIONES: se utilizan símbolos para expresar a las

proposiciones, a estos símbolos se les denomina “sentencias”.

SENTENCIA: Es la representación por medio de símbolos de una proposición,

normalmente se usan las letras de un alfabeto por lo que a estos símbolos se les
nombra como “letras senténciales”.

Ejemplos:

p = hoy es martes.
q = hay clases.
p˄q

r = el radio tiene el volumen bajo.

s = la puerta está cerrada.
rvq

a = la pluma fuente tiene tinta azul.

ING. HÉCTOR PIÑA CANALES
 19

b = la pluma fuente tiene tinta negra.

a ≡≡ b

x = suena la chicharra.
y = es hora de salir de clases.
x y

c = sale el sol.
d = es de día.
c d o c ≡ d

n = los patos se vuelven cisnes.

n’ o n

Toda sentencia se basa en dos principios:

p1: La proposición o enunciado es verdadero (V) o falso (F).

p2: Los valores de verdad de cualquier fórmula molecular o proposición molecular

están determinados por los valores de verdad de las fórmulas o proposiciones que la
componen y de la forma en que se enlazan estas.

Toda sentencia o proposición puede tomar uno de dos valores posibles “V” o “F”, por
lo que se le considera como una variable lógica. Una variable lógica es aquella que
tiene las siguientes propiedades distintivas:

1.- solo puede tomar uno u otro de dos valores posibles: “V” o “F”.

2.- estos valores se expresan mediante una proposición.

3.- los dos valores deben ser mutuamente exclusivos.

Nota: Como cada variable soló puede tomar uno de dos valores posibles, en los
sistemas digitales siempre estará presente la regla de formación binaria:

20 = 1
21 = 2
22 = 4
23 = 8
24 = 16
25 = 32
26 = 64
27 = 128
28 = 256
Etcétera

ING. HÉCTOR PIÑA CANALES

 20

TABLAS DE VERDAD
En concordancia con los valores de verdad (F ó V) que pueden tomar cada una de las
variables lógicas, a continuación, se muestran las tablas de verdad para una variable,
dos variables y tres variables, así como la forma para obtener la tabla de verdad para
“n” variables.

Tabla de verdad para una variable:

a
F
V

Tabla de verdad para dos variables:

a b
F F
F V
V F
V V

Esto indica que dadas dos variables hay para ellas 22 posibilidades de valores F y
V y en general para “n variables lógicas” hay “2n” combinaciones posibles. Por
ejemplo; si “n = 3”, se tienen en total 8 combinaciones posibles. Para construir la tabla,
cada variable tiene un peso binario de acuerdo al orden en que coloquen en la tabla,
si es a, b y c, sus pesos son de 22 = 4, 21 = 2 y 20 = 1, por lo que se recomienda
empezar con la variable de menor peso con un valor falso y uno verdadero hasta los
ocho posibles, después de dos en dos para la siguiente variable, la siguiente de cuatro
en cuatro como se muestra en la siguiente tabla.

a b c
F F F
F F V
F V F
F V V
V F F
V F V
V V F
V V V

Para un número mayor de variables se sigue el mismo procedimiento.

Tablas de verdad de las conectivas lógicas:

ING. HÉCTOR PIÑA CANALES

 21

_
1.-Tabla de verdad para “no a, complemento de a´ o “ a ”:

a a
F V
V F

2.- Tabla de verdad para “a ˄ b”: En esta conectiva con un solo valor falso que tenga
cualquiera de sus variables el resultado es falso, solamente es verdadero cuando
todos los valores de las variables son verdaderos.

a b a˄b
F F F
F V F
V F F
V V V

3.- Tabla de verdad para “a v b”: En esta conectiva con un solo valor verdadero que
tenga cualquiera de sus variables el resultado es verdadero, solamente es falso
cuando todos los valores de las variables son falsos.

a b a˅b
F F F
F V V
V F V
V V V

4.- Tabla de verdad para “a ≡≡ b”: En esta conectiva si el número de valores

verdaderos de sus variables es impar el resultado es verdadero, en cualquier otro
caso el resultado es falso.

a b a ≡≡ b
F F F
F V V
V F V
V V F

ING. HÉCTOR PIÑA CANALES

 22

5.- Tabla de verdad para “a b”. En esta conectiva a la variable que esta antes
de la flecha se le llama antecedente y a la variable hacia donde apunta la flecha se le
conoce cómo consecuente. El resultado es falso solo si el antecedente es verdadero
y el consecuente es falso, en cualquier otro caso el resultado es verdadero.

a b a b
F F V
F V V
V F F
V V V

6.- Tabla de verdad para “a b o a ≡ b”. En esta conectiva si el número de valores

verdaderos de sus variables es impar el resultado es falso, en cualquier otro caso el
resultado es verdadero. Es la negación de la conectiva “o exclusiva”

a b a ≡ b
F F V
F V F
V F F
V V V

Ejemplos:
_
1.- Demostrar que: p q = p V q

_ _
p p q p q p V q

F V F V V
F V V V V
V F F F F
V F V V V
_ _
2.- Demostrar que: (p ≡ q) = (p ˄ q) ˅ (p ˄ q )

_ _ _ _ _ _
p q p ≡ q p ˄q p q p ˄ q (p ˄ q) V (p ˄ q)
F F V F V V V V
F V F F V F F F
V F F F F V F F
V V V V F F F V

ING. HÉCTOR PIÑA CANALES

 23

_ _
3.- Demostrar que: (p ≡≡ q) = (p ˄ q) ˅ (p ˄ q )

_ _ _ _ _ _
p q p ≡≡ q q p ˄q p p ˄ q (p ˄ q) V (p ˄ q)
F F F V F V F F
F V V F F V V V
V F V V V F F V
V V F F F F F F

4.- Determine los valores de verdad de la siguiente expresión lógica:

_____ _ _
(a ˄ b) ˅ (a ˄ b ˄ c) ˅ a ˅ b

____ _ _ _ _ _____ _ _
a b c a˄b a˄b a c a˄b˄c (a ˄ b) ˅ (a ˄ b ˄ c) ˅ a ˅ b

F F F F V V V F V
F F V F V V F F V
F V F F V V V V V
F V V F V V F F V
V F F F V F V F V
V F V F V F F F V
V V F V F F V F V
V V V V F F F F V

5.- Determine los valores de verdad de la siguiente expresión lógica:

_____ _ _
(a ˅ c) ˄ ( b ˄ c) ˄ (a ˅ b)

____ _ _ _ _ _____ _ _
a b c a˅c a˅c b C b˅c a˅b (a ˅ c) ˄ ( b ˄ c) ˄ (a ˅ b)

F F F F V V V V F F
F F V V F V F F F F
F V F F V F V F V F
F V V V F F F F V F
V F F V F V V V V F
V F V V F V F F V F
V V F V F F V F V F
V V V V F F F F V F

En los ejemplos anteriores se muestran tres tipos de resultados finales, en algunos de

ellos los valores de verdad son “F´s” y “V´s” y en otros únicamente se obtuvieron
valores de “F’s” o valores de “V’s”. En lógica esto se conoce como:

ING. HÉCTOR PIÑA CANALES

 24

1.- La tabla de verdad de una expresión que tiene como resultado final tanto valores
verdaderos (V´s) y falsos (F´s), se denomina “indeterminada” o que se tiene una
“contingencia”.

2.- La tabla de verdad de una expresión que tiene como resultado final valores
únicamente falsos (F`s), se denomina “contradicción”

3.- La tabla de verdad de una expresión que tiene como resultado final valores
únicamente verdaderos (V`s), se le denomina como “tautología” o “fórmula
sentencialmente válida”.

COMPUERTAS LÓGICAS
Cada una de las conectivas lógicas en ingeniería se ha implementado físicamente con
diferentes dispositivos, excepto la conectiva condicional, cómo es usando en
ingeniería eléctrica relevadores, contactores o interruptores dependiendo del tipo de
potencia que se maneje, mientras que en la ingeniería electrónica estos dispositivos
reciben el nombre de compuertas lógicas las cuales se construyen con diferentes
tipos de tecnología.

Se va utilizar la siguiente forma de representar a los valores de las variables (F o V),

así como de los símbolos usados en la lógica por otros símbolos son más acorde con
la notación algebraica y de ingeniería:

F=0

V=1
__ __
Conectiva negación: se usara igual

Conectiva “Y”: ˄, se usará •

Conectiva “O”: ˅, se usara +

Conectiva “O exclusiva”: Ƶ, se usara 

_____
Conectiva “O exclusiva negada: ≡, se usara 

En la tabla 1 se muestran los símbolos gráficos utilizados para representar a cada una
de estas conectivas en forma eléctrica (en donde se utilizan interruptores o
contactores o relevadores para indicar si un circuito esta abierto o cerrado) así como
en forma electrónica ( llamadas compuertas lógicas).

ING. HÉCTOR PIÑA CANALES

 25

NOMBRE SÍMBOLO COMPUERTA FUNCIÓN TABLA DE

ELÉCTRICO LÓGICA LÓGICA VERDAD
NEGACIÓN _ _ _
INVERSOR a a F(a) = a a a
a a 0 1
(NOT)
1 0
Y a b a a b a•b
(AND) F(a,b) = a•b
0 0 0
b F 0 1 0
1 0 0
1 1 1
O a a b a+b
(OR) a F(a,b) = a + b
F 0 0 0
b 0 1 1
b 1 0 1
1 1 1

O _ a a b ab
EXCLUSIVA a b F(a,b) = a  b
(XOR) _ _ 0 0 0
b F = a•b + a•b 0 1 1
_ _ 1 0 1
a b 1 1 0
= (a+b)•(a+b)

O a ____ _____
EXCLUSIVA a b F(a,b) = a  b a b ab
NEGADA __ 0 0 1
b F = a•b + a•b 0 1 0
_ _ 1 0 0
a b 1 1 1
= (a+b)•(a+b)

No Y a ___ ____
(NAND) F(a,b) = a•b a b a•b
_ _ 0 0 1
b F 0 1 1
=a+b
1 0 1
1 1 0

No O ____ ____
(NOR) a F(a,b) = a + b a b a+b
F _ _ 0 0 1
b =a•b 0 1 0
1 0 0
1 1 0

Tabla 1: compuertas lógicas

ING. HÉCTOR PIÑA CANALES