Instituto Superior Pedro P.

Díaz Semestre II
Electrónica Industrial Prof.: Javier
Mantenimiento de Sistemas Eléctricos y Electrónicos Neira A.

Lógica Proposicional – Lista de Ejercicios

1. Hallar:
𝑊 = ¬[(𝑑 ∧ 𝑏) △ (¬𝑎 ↔ ¬𝑐 )] → [¬(𝑎 ∨ 𝑑 ) → ¬(𝑐 ↔ 𝑏)]

Cuando: 𝑎 = 𝐹, 𝑏 = 𝑉, 𝑐 = 𝑉, 𝑑 = 𝐹

2. Encontrar:
𝐾 = [[(𝑚 ∨ ¬𝑝) △ (¬𝑛 △ 𝑞)] ∧ [𝑟 ∨ ¬(𝑚 ↔ ¬𝑠)]] △ [(𝑟 → 𝑛) ∨ ¬(¬𝑞 → 𝑠)]

Cuando: 𝑚 = 𝑉, 𝑛 = 𝑉, 𝑝 = 𝐹, 𝑞 = 𝐹, 𝑟 = 𝑉, 𝑠 = 𝐹

3. Determinar el valor de 𝐴:
𝐴 = [[(¬𝑥 → 𝑧) → (𝑦 ↔ 𝑤)] ↔ [¬(𝑡 ↔ 𝑢) ↔ ¬(𝑧 → ¬𝑢)]] ↔ ¬[(𝑡 → 𝑥 ) → ¬(¬𝑦 → 𝑧)]

Si: 𝑡 = 𝐹, 𝑢 = 𝐹, 𝑤 = 𝐹, 𝑥 = 𝐹, 𝑦 = 𝑉, 𝑧 = 𝐹

4. Encontrar el resultado de:

𝑍 = ¬ [¬[(¬𝑎 ↔ ¬𝑏) △ (𝑐 ∧ 𝑑 )] ∨ [(¬𝑒 ∨ ¬(¬𝑓 )) △ (𝑒 ∧ ¬𝑑 )]] △ [¬[(𝑐 ↔ 𝑏) ∨ (¬𝑎 ∧ ¬𝑓 )] → ¬𝑓 ]

Cuando: 𝑎 = 𝑉, 𝑏 = 𝑉, 𝑐 = 𝐹, 𝑑 = 𝐹, 𝑒 = 𝐹, 𝑓 = 𝑉

5. Hallar el valor resultante de:

𝑋 = [(𝑚 △ 𝑛) ∧ ¬(𝑟 → 𝑡)] ∨ ¬ [[((𝑠 ↔ ¬𝑢)) ↔ ¬(¬𝑡 → ¬𝑢)] △ [¬[(𝑚 ∨ 𝑟) ∨ (¬𝑠 △ ¬𝑛)] ∨ ¬𝑠]]

Considerando: 𝑚 = 𝐹, 𝑛 = 𝑉, 𝑟 = 𝐹, 𝑠 = 𝑉, 𝑡 = 𝐹, 𝑢 = 𝑉

6. Encontrar el resultado de:

𝐷 = [¬[(𝑤 ∧ ¬𝑦) ↔ (¬𝑧 → 𝑤)] △ (𝑥 ∨ 𝑧)] △ [(𝑥 ↔ 𝑧) ∨ ¬(¬𝑦 △ 𝑥 )]

Cuando: 𝑤 = 𝑉, 𝑥 = 𝐹, 𝑦 = 𝐹, 𝑧 = 𝑉

7. Hallar:
𝐾 = ¬ [[(𝑠 → ¬𝑣 ) △ (¬𝑡 ∨ ¬𝑢)] ∧ [(𝑢 ↔ 𝑣 ) → [¬(𝑡 △ 𝑠) ∧ ¬(¬𝑦 ∨ ¬𝑥 )]]]

Si: 𝑠 = 𝐹, 𝑡 = 𝑉, 𝑢 = 𝑉, 𝑣 = 𝐹

8. Determinar:
𝐻 = ¬ [¬[(¬𝑑 ∧ ¬𝑐 ) ↔ ¬(¬𝑏 ∨ ¬𝑎)] ↔ ¬[¬(¬𝑏 △ ¬𝑑 ) ∨ [¬(¬𝑐 ∧ ¬𝑏) ∨ ¬(¬𝑎 △ ¬𝑑 )]]]

Si: 𝑎 = 𝑉, 𝑏 = 𝐹, 𝑐 = 𝑉, 𝑑 = 𝐹

1
 Instituto Superior Pedro P. Díaz Semestre II
Electrónica Industrial Prof.: Javier
Mantenimiento de Sistemas Eléctricos y Electrónicos Neira A.

9. Hallar:
𝑌 = ¬[𝑢 △ 𝑡 ∨ (¬𝑟 ↔ 𝑡)] → (¬𝑢 △ ¬𝑠) → [¬(𝑟 ∧ 𝑡)𝜌 ↔ (𝑢 ∨ ¬𝑠)]

Cuando: 𝑟 = 𝐹, 𝑠 = 𝑉, 𝑡 = 𝐹, 𝑢 = 𝑉

10. En la línea de producción de una fábrica se obtiene un determinado producto según se cuente con los
materiales 𝑎, 𝑏, 𝑐 𝑦 𝑑. El producto puede ser fabricado si:

1. Se cuenta con el material 𝑎 o con el material 𝑑 o con ambos y si no se tiene el material 𝑏 y si se cuenta
con el material 𝑐.
2. Se evalúa si se cuenta con el material 𝑐 y no con el material 𝑎, si y solo si se cuenta con el material 𝑑
y con el material 𝑏 simultáneamente.
3. Para que el material pueda ser fabricado debe cumplirse únicamente alguna de las dos condiciones
anteriores (1 y 2).

a) Encuentre la expresión lógica que determina si el producto puede o no ser fabricado.

b) Determine si el producto puede ser fabricado si se cuenta con los materiales 𝑎 y 𝑐, y no con los materiales
𝑏 y 𝑑.