Está en la página 1de 1

Tarea N2

Determinar si los siguientes polinomios , son Tautologas, Contradiccin


o Contingente.

a) ~(p q) (p q)

b) (p q) (~p ~q)

c) [( p q p)] [(p q ~( p q)]

Demostrar las siguientes equivalencias lgicas o implicaciones lgicas.

a) (p q) r p(qr)
b) p q => ~p ~q

También podría gustarte