Clase 5

EQUIVALENCIAS
NOTABLES - PROPIEDADES
UCSUR
DIEGO GONZALES DE LA COTERA
[email protected]
[email protected]
Sean: T : tautología
┴ : contradicción
13. Leyes del complemento:
p v ~p ≡ T
p ^ ~p ≡ ┴
~T ≡ ┴
~┴ ≡ T
14. Existencia del elemento neutro:
T^p≡p^T≡p
┴^p≡p^┴≡┴
Tvp≡pvT≡T
┴vp≡pv┴≡p
Ej: Simplificar la proposición
~p v (p ^ ~q)
(~p v p) ^ (~p v ~q)

T ^ (~p v ~q)
(~p v ~q)
~p v ~q ; válido para “circuitos lógicos” y
expresión simplificada
~p v (p ^ ~q)
(~p v p) ^ (~p v ~q)

T ^ A
A
~p v ~q
Desde ahora, hay que procurar solo tener tres conectores:

- Negación
- “Y”
- “O”
Ej.: Simplificar la proposición
~(p v ~q) → ~q
~~(p v ~q) v ~q
(p v ~q) v ~q
p v (~q v ~q)
p v ~q
~q v p ; valido para “circuitos lógicos”
q → p ; expresión simplificada
~(p v ~q) → ~q
q → (p v ~q)
~q v (p v ~q)
~q v p v ~q
(~q v ~q) v p
~q v p
p v ~q
CIRCUITOS LOGICOS O
C. DE BOOLE
UCSUR
DIEGO GONZALES DE LA COTERA
[email protected]
[email protected]
Definición
 Son esquemas formales que representan a sistemas

informáticos de diversa índole (desde corriente eléctrica
hasta datos informáticos).
 Un circuito lógico es la representación gráfica de una o
más proposiciones, utilizando los esquemas
denominados “circuitos eléctricos”.
 Las proposiciones simples serán representadas como
interruptores en el circuito, abriendo o cerrando el
circuito.
 Sus elementos son: entrada, interruptor y salida.
CIRCUITO ASOCIADO A UNA LÁMPARA
A. El circuito funciona si la proposición es verdadera; el interruptor está

cerrado y pasa por la corriente.
B. El circuito no funciona si la proposición es falsa, el interruptor está abierto y

no pasa la corriente.
p
SEGÚN LA DISPOSICIÓN DE
INTERRUPTORES
1. CIRCUITO SERIE:
Es aquel que está constituido por interruptores dispuestos uno detrás de otro.
Para que el circuito funcione, todos los interruptores deben de estar cerrados
(proposición verdadera).
El circuito serie representa la conjunción de dos o más proposiciones.
1.1. p ^ q p q
1.2. p ^ q ^ r p q r
INTERRUPTORES
2. CIRCUITO PARALELO:
Es aquel que está constituido por interruptores dispuestos uno al lado (o
paralelo) del otro.
Si un circuito paralelo no funciona, todos sus interruptores están abiertos
(proposiciones falsas)
El circuito paralelo representa la disyunción débil (v) de dos o más
proposiciones.
2.1. p v q
p
q
INTERRUPTORES
2.2. p v q v r
p
q
r
2.3. p → q Recordemos:
Entonces: ~p v q
~p
q
INTERRUPTORES
2.2. p ↔ q Recordemos:
Acomodamos:
p↔q
(p → q) ^ (q → p)
(~p v q) ^ (~q v p)
~p p
q ~q
Ej.: Grafique el circuito
[(p → q) v ~s ] ^ r
Acomodamos estratégicamente:
[(p → q) …] …
[(~p v q) …]…
[~p v q v ~s ] ^ r
~p
q r
~s
[(p → q) v ~s ] ^ r
[(~p v q) v ~s ] ^ r
[~p v q v ~s ] ^ r
~p
q r
~s
~[(p ^ q) ^ ((p → r) v p)]
Acomodamos estratégicamente:
~(p ^ q) v ~((p → r) v p)
~(p ^ q) v [~(~p v r) ^ ~p] ~p
~(p ^ q) v [(p ^ ~r) ^ ~p]
~(p ^ q) v [(p ^ ~p) ^ ~r] ~q
~(p ^ q) v [┴ ^ ~r]
~(p ^ q) v [┴]
┴ v ~(p ^ q) ; No podemos responder solo “tautología”, porque no existiría un circuito
lógico; pero, la tautología se convierte en la fase final en “elemento neutro”.
La “contradicción” fuera de las propiedades, funciona como una negación.
~(p ^ q)
~p v ~q
Ej.: Vuelva a intentar el ejercicio anterior,
utilice las equivalencias notables 13 y 14.
~[(p ^ q) ^ ((p → r) v p)]
Momentaneamente 1: (p ^ q) ^ ((p → r) v p)
(p ^ q) ^ (~p v r v p)
(p ^ q) ^ ((~p v p) v r )
(p ^ q) ^ (T v r )
(p ^ q) ^ T
Momentaneamente 2: A ^ T
A
Recuperando 2: (p ^ q)
Recuperando 1: ~ (p ^ q)
~p v ~q
(~p ^ ~q) v (q ^ ~p) v q
(~p ^ ~q) v (~p ^ q) v (q)
(~p ^ ~q) v [(~p ^ q) v (q)]
(~p ^ ~q) v [(~p v q) ^ (q v q)]
(~p ^ ~q) v [(~p v q) ^ q]
[(~p ^ ~q) v (q v q)] ^ (~p v q)
[(~p ^ ~q) v q] ^ (~p v q)
[(~p v q) ^ (~q v q)] ^ (~p v q)
[(~p v q) ^ T)] ^ (~p v q)
(~p v q) ^ (~p v q)
~p v q
Cuestionario; resolver lo siguiente
1. Simplificar:
~ (p → q) ↔ ~ (q → p) Respuesta: p ↔ q
2. Graficar el circuito:
p ^ { q v [ p → ( ~p ^ r ) ] }
[ ( p ^ q) v ( ~p ^ q ) ] v ( ~p ^ q )
[ (p → q) → p ] ^ [ ~p → (~ p → q) ]
1. ~ (p → q) ↔ ~ (q → p)
A: (p→q)
B: (q→p)
( B v ~A ):
(q→p) v ~(p→q)
~A ↔ ~B ≡ ( ~A → ~B) ^ ( ~B → ~A)
(~q v p) v (~p v q)
~A ↔ ~B ≡ ( A v ~B) ^ ( B v ~A )
(p v ~q) v (~p v q)
( A v ~B): ( A v ~B) ^ ( B v ~A ):
(p→q) v ~(q→p) (~p v q) ^ [(p v ~q) v (~p v q)]
~p v [q v (q ^ p)] (~p v q) ^ (p v ~q) v (~p v q)
~p v [q ^ (p v q)] [(~p v q) v (~p v q)] ^ (p v ~q)
(~p v q) ^ [ (~p v p) v q ] (~p v q) ^ (p v ~q)
(~p v q) ^ [ T v q ] (~p v q) ^ (~q v p)
(~p v q) ^ T (p → q) ^ (q → p)
~p v q p↔q
2. p ^ { q v [ p → ( ~p ^ r ) ] } 3. [ ( p ^ q) v ( ~p ^ q ) ] v ( ~p ^ q )
p ^ { q v [ ~p v ( ~p ^ r ) ] } ( p ^ q) v [( ~p ^ q ) v ( ~p ^ q )]
p ^ { q v [ ~p ^ (~p v r) ] } ( p ^ q) v ( ~p ^ q )
p ^ { q v [ ~p] } q ^ ( p v ~p )
p ^ {~p v q } q^T
p^q q
p q
4. [ (p → q) → p ] ^ [ ~p → (~ p → q) ]
[ ~( ~p v q ) v p ] ^ [ p v (~ p → q) ]
[ (p ^ ~q ) v p ] ^ [ (p v p) v q) ]
[p]^[pvq]
p

Clase 5

Cargado por

Copyright:

Formatos disponibles

Clase 5

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Clase 5

Cargado por

Copyright:

Formatos disponibles

EQUIVALENCIAS

(~p v p) ^ (~p v ~q)

(~p v p) ^ (~p v ~q)

Desde ahora, hay que procurar solo tener tres conectores:

 Son esquemas formales que representan a sistemas

A. El circuito funciona si la proposición es verdadera; el interruptor está

B. El circuito no funciona si la proposición es falsa, el interruptor está abierto y

También podría gustarte