Está en la página 1de 9

TAREA DE VERDAD LGICA

1) ~ *(p q) (p ~q)+ ~p ~ (p q) ~ (p ~q)+ ~p (~ p ~ q) (~ p ~ (~ q)+ ~p (~ p ~ q) (~ p ~ (~ q)+ ~p ~ p (~ q q) ~p ~ p ~p 2) ~ *(p q) (p ~q)+ ~p ~ (p q) ~ (p ~q)+ ~p (~ p ~ q) (~ p ~ (~ q)+ ~p (~ p ~ q) (~ p ~ (~ q)+ ~p ~ p (~ q q) ~p ~ p ~p 3) ~ [(p p) q+ ~ q ~ p ~ *p q+ ~ q ~ p ~p ~q~q~p ~p ~q~p ~q 4) ~ *(p p) q+ ~ q ~ p ~ *p q+ ~ q ~ p ~p ~q~q~p ~p ~q~p ~q 5) ~ [~ p q] p ~ q ~ (~ p) ~ q p ~ q p~qp~q

Dato D.R Distributiva Demorgan Identidad Complemento Dato Distributiva Demorgan Identidad Distributiva Complemento Dato Idempotencia Distributiva Conmutativa Dato Idempotencia Distributiva Conmutativa

Dato Distributiva Demorgan

6) ~ [~ p q] ~q p ~ (~ p) ~ q ~q p p ~ q ~q p ~q p ~q p 7) ~ *(p ~ q) (~ r p)+ ~p(q r) ~ (p ~ q) ~ (~ r p) ~p(q r) ~ p ~ (~q) ~(~ r) ~p) ~p(q r) (~ p q) (r ~p) ~p (q r) (~ p q) (~p r) ~p (q r) ~ p (q) r ~p (q r) ~ p (q r) ~p (q r) 8) ~ *(p ~ q) (~ r p)+ ~p(q r) ~ (p ~ q) ~(~ r p) ~p(q r) ~ p ~(~ q) ~(~ r )~p ~p(q r) (~ p q) ( r ~p) ~p(q r) (~ p q) (~p r) ~p(q r) ~ p ( q) ( r) ~p(q r) ~p(q r) ~p(q r) 9) ~ *(p q)r+ ( ~p~r)( ~q~r) ~ (p q)r ( ~p~r)( ~q~r) ~ p~ q~ r ( ~r~p)( ~r~q) ~ p~ q~ r ~r(~p)( ~q) ~ p~ q~ r ~ p~ q~ r

Dato Distributiva Demorgan Conmutativa Dato Distributiva Demorgan D.R Asociativa Conmutativa Identidad Dato Distributiva Demorgan D.R Asociativa Conmutativa Identidad

Dato Distributiva Demorgan Conmutativa Asociativa

10) ~ *(p p) ~p+ p ~ q ~ (p p) ~p p ~ q ~ p ~p p ~ q ~(p p) p ~ q ~p ~p 11) ~ *(p p) ~p+ p ~ q ~ *(p ~p+ p ~ q ~ p ~(~p) p ~ q ~ p p p ~ q ~pp~pp 12) (p q) *(p q)r+ p q (p q) *r(p q)+ p q (p q) *(p q)+ p q (p q) p q 13) (p F) *(p F)q+ p (p (p~p) *(p (p~p)q+ p p(p q) p pp 14) *(p V)q+ (p V) p *p q+ p p p *p q+ p pp

Dato Distributiva Demorgan Identidad Idempotencia Dato Distributiva Demorgan Complemento Identidad Dato Conmutativa Distributiva Identidad Dato Complemento Distributiva Identidad Dato Identidad Distributiva Conmutativa

Tarea de tablas de verdad *(p V q)(q p) p V q q V F V V V V V F F F F V V F V F F F V F CONTINGENCIA *p((~p)(~q)) p ~ V F F V F F F F V F F V FALACIA p V V F F F F F V ~ F V F V q V F V F V F F F p V V F F

*~((qt)~q) ~ q F V V F V V F F V F F F FALACIA t V V V F V V V V ~ F F V V q V V F F

*(pq)((~p)Vq) p q ~ V V V V F V F F V F F V V F V F V F V V CONTINGENCIA p V V F F V V F F V q V F V F

*(p q) V (p(~p))

p q V V V V V V F F F F V V F F V F F CONTINGENCIA *p(~p) p ~ p V V F V F V V F TAUTOLOGIA

p V V F F

F F V V

~ F F V V

p V V F F

*(p(q r))((p q)(p r)) p q V V V V V V V V F V V F F V V F F V F F F F F F TAUTOLOGIA V F F F V F F F r V F V F V F V F V V V V V V V V p V V V V F F F F V V V V V V F F q V V F F V V F F V V V V V F F F p V V V V F F F F V V V V V F V F r V F V F V F V F

*((p q)(q p))(p r) p q V V V V V V V F F V F F F V V F V V F V F F V F CONTINGENCIA *(p V (~ p)) r p V V V V V V F V F F F F F F V F V CONTINGENCIA *p (q r) p q V V V V V V V V V V F V V F F F F V V V F V V V F V F V F V F F CONTINGENCIA r V F V F V F V F ~ F F V V F F V V p V V F F V V F F V F F F F F V F r V F V F V F V F V F F F V V V V q V V F F V V F F V V V V F F V V p V V V V F F F F V F V F V V V V p V V V V F F F F V F V F V V V V r V F V F V F V F

Correccin de verdad lgica * p p p p q q p p Vp ~ (~p) p p ~ p F idempotencia conmutativa identidad complemento identidad

~ (p q) ~ p ~ q demorgan (p q) r p(q r ) asociativa (p(q r) (p q) (p r) distributiva * ,q (~p r)- ~ ,p (q ~ r )q ~ p V V F V V F F V V V V F V V V F F V F V F V F V F V V F F V V F CONTINGENCIA V F V V V F V V r V F V F V F V F F F V F F F F V ~ F F V F F F F V p V V F F V V F F V V F V V V V F q V V V V F F F F F V F V V F V F ~ F V F V F V F V r V F V F V F V F

* 1) ~ *(p q) (p ~q)+ ~p ~ (p q) ~ (p ~q)+ ~p (~ p ~ q) (~ p ~ (~ q)+ ~p (~ p ~ q) (~ p ~ (~ q)+ ~p ~ p (~ q q) ~p ~ p ~p 2) ~ *(p p) q+ ~ q ~ p ~ *p q+ ~ q ~ p ~p ~q~q~p ~p ~q~p ~q 3) ~ *(p ~ q) (~ r p)+ ~p(q r) ~ (p ~ q) ~ (~ r p) ~p(q r) ~ p ~ (~q) ~(~ r) ~p) ~p(q r) (~ p q) (r ~p) ~p (q r) (~ p q) (~p r) ~p (q r) ~ p (q) r ~p (q r) ~ p (q r) ~p (q r) 4) ~ *(p ~ q) (~ r p)+ ~p(q r) ~ (p ~ q) ~(~ r p) ~p(q r) ~ p ~(~ q) ~(~ r )~p ~p(q r) (~ p q) ( r ~p) ~p(q r) (~ p q) (~p r) ~p(q r) ~ p ( q) ( r) ~p(q r) ~p(q r) ~p(q r) dato D.R distributiva demorgan identidad complemento dato idempotencia distributiva conmutativa dato distributiva demorgan identidad conmutativa asociativa complemento dato distributiva demorgan identidad conmutativa asociativa complemento

5) (p F) *(p F)q+ p (p (F q) p p (q F) p pp

dato conmutativa identidad complemento