OPERACIONES LÓGICAS

ARQUITECTURA Y PROGRAMACIÓN DE
COMPUTADORAS
 OPERACIONES LÓGICAS

Las operaciones lógicas son expresiones

matemáticas elaboradas con números
binarios.

2
 OPERACIONES
LÓGICAS
En un intento por sistematizar el
razonamiento matemático, surge el
concepto de Lógica Proposicional.

Lógica proposicional:
❖ Proposición simple. Es una
oración que afirma, niega o
describe el estado de las cosas.
❖ Proposición compuesta. Es la
oración que une dos o más
proposiciones simples, por
medio de conectores lógicos: Y, O
3
 p: El gato es café.

q: 3 es un número primo.

PROPOSICIONES
SIMPLE, r: 18 es múltiplo de 3.
EJEMPLOS
s: π<e

Estas proposiciones tienen un valor de verdad.

En particular, p, q, r son verdaderas mientras
que s es falsa
4
 p: La ballena vive en el mar y es un mamífero.

q: Yo estudiaré o iré a jugar futbol.

PROPOSICIONES
COMPUESTAS,
EJEMPLOS
r: 18 es múltiplo de 3 y múltiplo de 6.

s: Puerto Montt es una ciudad de Chile y

Montevideo es una ciudad de Uruguay.

5
CONECTIVOS
LÓGICOS
∧: Conjunción ("y")

∨: Disyunción ("o").

⊻: Disyunción Exclusiva ("o bien").

⇒: Implicancia ("entonces").

⇔: Equivalencia ("si y sólo si").

6
 CONECTIVOS LÓGICOS
Conjunción, "y lógico“: Dados p, q; dos
proposiciones lógicas, se construye su
conjunción como (p∧q). Se lee: p y q.
(p∧q) es verdadera si p y q son
simultáneamente verdaderas. En los
demás casos, es falsa. La conjunción
posee la tabla de verdad siguiente
Disyunción, "o lógico“: Dados p, q; dos
proposiciones lógicas, se construye su
disyunción como (p∨q). Se lee: p o q.
(p∨q) es falsa si p y q son
simultáneamente falsas. En los demás
casos, es verdadera. La disyunción
posee la tabla de verdad

p q (p∧ q) p q (p∨ q)
V V V V V V
V F F V F V
F V F F V V
F F F F F F
7
 CONECTIVOS LÓGICOS
Disyunción Exclusiva, "o bien“: Dados p, Implicancia, "entonces“: Dados p,
q: dos proposiciones lógicas, se q; dos proposiciones lógicas, se
construye su disyunción exclusiva construye su implicancia como (p⇒q).
como (p⊻q). Se lee: p o bien q. Se lee: p entonces q.
(p⊻q) es falsa si p y q tienen el mismo (p⇒q) es falsa si q es falsa. En los
valor de verdad. En caso contrario, es demás casos, es verdadera. La
verdadera. La disyunción exclusiva implicancia posee la tabla de verdad
posee la tabla de verdad
p q (p⊻ q) p q (p⇒ q)
V V F V V V
V F V V F F
F V V F V V
F F F F F V
8
CONECTIVOS LÓGICOS

Equivalencia, "si y sólo si“: Dados p, q; dos

proposiciones lógicas, se construye su equivalencia
como (p⇔q). Se lee: p si y sólo si q.
(p⇔q) es verdadera si p y q tienen el mismo valor de
verdad. En caso contrario, es falsa. La equivalencia
posee la tabla de verdad

p q (p⇔ q)
V V V
V F F
F V F
F F V

9
LÓGICA
BINARIA

La lógica binaria, toma

dos valores discretos 1 y
0. Se usa para describir
en forma matemática la
manipulación y el
proceso de la
información.
10
11
POSTULADOS Y TEOREMAS

12
GRACIAS