EJERCICIO Nº 1
~[(~p⇒ q) ∧ ~q] ⇒ ~p
~[(p ∨ q) ∧ ~q] ⇒ ~p
[(~p ∧ ~q) ∨ q] ∨ ~p
p | q | [(~p | ∧ | ~q) | ∨ | q] | ⇒ | ~p |
V | V | F | F | F | V | V | V | F |
V | F | F | F | V | F | F | F | F |
F | V | V | F | F | V | V | V | V |
F | F | V | V | V | V | F | V | V |
EJERCICIO Nº 2
Simplificar el siguiente circuito:
a) p b) q c) ~ p d) p ⇒q e) ~q
Del enunciado tenemos: p ∧ { [ ( ~p ∧ q ) ∨ q ] ∨ [ ~q ∨ p] }
P ∧ { [q ] ∨ [ ~q ∨ p] }
p ∧ { [q ] ∨ [ ~q ∨ p] }
p ∧ { ( q ∨ ~q ) ∨ p }
p ∧ { ( V ) ∨ p }
p ∧ { V }
p
Respuesta: a) p
EJERCICIO Nº 3
Señale el circuito equivalente a la proposición: [(p⇒q) ⇒p] Ù [~p ⇒(~p ⇒q)]
Del enunciado tenemos: [(p⇒q) ⇒ p] Ù [~p ⇒ (~p ⇒ q)]
[(~p Ú q) ⇒ p] Ù [~p ⇒ (~ ~ p Ú q)]
[~ (~p Ú q) Ú p] Ù [~ ~p Ú (~ ~ p Ú q)]
[~ (~p Ú q) Ú p] Ù [ p Ú ( p Ú q)]
[(p Ù ~q) Ú p] Ù [ p Ú ( p Ú q)]
[ p ] Ù [ (p Ú p) Ú q ]
p Ù [ p Ú q ]
p
Respuesta: a)