Elaborado por el Prof. Simón Huaco de la Cruz.

IEST ”La recoleta”

Lógica proposicional

Realice la tabla de verdad de las siguientes expresiones.

((q -> p) Λ (r v ¬p)) Λ (¬q v ¬r) -> ¬q

(p -> q) Λ (q -> r) -> (p -> r)

((p -> q) Λ (q -> r)) -> (r -> p)

((p Λ ¬q) Λ (p & r)) Λ (¬q -> ¬p) ->r

((p -> q) Λ (¬ p -> r)) & (¬ q -> ¬ r) -> q

((¬p -> q) Λ (q ->r)) Λ ¬r ->p

(((p v q) -> (r v s)) Λ ((r v s) -> ¬t)) -> t

~ (p Λ q) <-> (~p V ~q)

~{ ~[ p v (~q -> p) ] v ~[ (p ↔ ~q) -> (q Λ ~p) ]}

~ ~{[ p v (~q -> p) ] ˄ [ (p ↔~q) -> (q ˄ ~p) ]}

Representar los circuitos lógicos de los siguientes enunciados.

p Λ [ (p V r ) V ( r V s) ]

(p V ~q) Λ [(p Λ ~p) V (~p Λ q) ]