Tema 5 CIRCUITOS LÓGICOS

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 20

Lic.

Verónica Loaiza Quilla


El valor de verdad de una proposición puede
asociarse al pasaje de corriente de un circuito
eléctrico controlado por un interruptor.
En efecto para representar un interruptor
mediante una proposición p, se tiene:
 Los circuitos lógicos son un arreglo de un
conjunto de interruptores de compuertas
abiertas y cerradas que tiene como finalidad
transmitir información de manera
conveniente.
 Gracias a estas representaciones, podemos
diseñar una representación gráfica de las
proposiciones moleculares con todos los
conectivos lógicos que estudiamos en
secciones anteriores. Para lograrlo, debemos
de establecer dos tipos de conexiones, esto
son, los circuitos en serie y en paralelo
Un circuito en serie de dos proposiciones p y q se
puede representar así:

 Este circuito significa que la información pasa


por el circuito a través de los interruptores, en
este caso, se dice que el los valores de verdad
de p y q son verdaderas cuando la información
pasa entre las dos.
 Un circuito en paralelo de dos
proposiciones p y q se puede representar así:
 a) 𝑝 → 𝑞 ≡ ~𝑝 ᴠ 𝑞
 b) 𝑝 ↔ 𝑞 ≡ (~𝑝 ᴠ 𝑞) ∧ (~𝑞 ᴠ 𝑝)
 c) ~ ~𝑝 ≡ 𝑝
 d) ~(𝑝 ∧q) ≡ ~𝑝 ᴠ ~𝑞
 f)~(𝑝 ᴠ q) ≡ ~𝑝 ∧ ~𝑞
 1. Diseñar circuitos lógicos de las siguientes
proposiciones:
 𝑎) 𝑝 ᴠ 𝑞 ∧ 𝑟
 𝑏) 𝑝 → 𝑞
 𝑐)𝑝 ↔ 𝑞
 𝑆𝑜𝑙𝑢𝑐𝑖ó𝑛
 a) Vemos que 𝑝 ᴠ 𝑞 ∧ 𝑟 es la conjunción que
deben estar conectados en serie.

 Pero, 𝑝 ᴠ 𝑞 se representa por:

 Luego la representación pedida sería:


 B) Según la condicional 𝑝 → 𝑞 ≡ ~𝑝 ᴠ 𝑞
(conexión en paralelo)
 2. Describir simbólicamente el circuito

 Solución
 𝑟 𝑦 ~𝑞 están conectados en paralelo; se simboliza
𝑟 ᴠ ~𝑞
 𝑝 𝑦 𝑟 ᴠ ~𝑞 están conectados en serie; se
simboliza: 𝑝 ∧ 𝑟 ᴠ ~𝑞
 𝑞 𝑦 ~𝑟 están conectados en serie; se simboliza
𝑞 ∧ ~𝑟
 𝑝 ∧ 𝑟 ᴠ ~𝑞 𝑦 (𝑞 ∧ ~𝑟) están conectados en
paralelo; se simboliza [𝑝 ∧ 𝑟 ᴠ ~𝑞 ] ᴠ (𝑞 ∧ ~𝑟
 Simbolizar los siguientes circuitos:
 1. p ᴠ q ᴠ r
 2.
3. 𝑞ᴠ~𝑞 ∧ [ 𝑞 ∧ ~𝑝 ᴠ(~𝑝 ∧ 𝑞)]
 4. Determinar los circuitos lógicos que
representan a los siguientes esquemas
moleculares:
1) 𝑝→~ 𝑞𝑣𝑟
2) ~𝑝 ↔ 𝑝 → ~𝑞
3) [ 𝑝 → 𝑞 𝑣 𝑝] ∧ [ 𝑝 → 𝑞 ᴠ ~𝑝]
4) 𝑝 𝑣 𝑞 → ~𝑝 𝑣 𝑞 → 𝑝 ʌ 𝑞
 1 𝑝→~ 𝑞𝑣𝑟

 a) 𝑝 → 𝑞 ≡ ~𝑝 ᴠ 𝑞
 b) 𝑝 ↔ 𝑞 ≡ (~𝑝 ᴠ 𝑞) ∧ (~𝑞 ᴠ 𝑝)
 c) ~ ~𝑝 ≡ 𝑝
 d) ~(𝑝 ∧q) ≡ ~𝑝 ᴠ ~𝑞
 f)~(𝑝 ᴠ q) ≡ ~𝑝 ∧ ~𝑞

1. 𝑝 → ~ 𝑞 𝑣 𝑟
~𝑝 ᴠ ~ 𝑞 𝑣 𝑟
~𝑝 ᴠ(~𝑞 ∧ ~𝑟)
 a) 𝑝 → 𝑞 ≡ ~𝑝 ᴠ 𝑞
 b) 𝑝 ↔ 𝑞 ≡ (~𝑝 ᴠ 𝑞) ∧ (~𝑞 ᴠ 𝑝)
 c) ~ ~𝑝 ≡ 𝑝
 d) ~(𝑝 ∧q) ≡ ~𝑝 ᴠ ~𝑞
 f)~(𝑝 ᴠ q) ≡ ~𝑝 ∧ ~𝑞

 2. ~𝑝 ↔ 𝑝 → ~𝑞
 [~(~𝑝) ᴠ 𝑝 → ~𝑞 ] ∧ [~ 𝑝 → ~𝑞 ᴠ ~𝑝 ]
 [𝑝ᴠ ~𝑝 ᴠ ~𝑞 ] ∧ [~(~𝑝 ᴠ~𝑞) ᴠ ~𝑝 ]
 [𝑝ᴠ ~𝑝 ᴠ ~𝑞 ] ∧ [(𝑝 ∧ q) ᴠ ~𝑝 ]

También podría gustarte