Simplificar, diagramar e indicar si es Tautología,

contradicción o contingencia el siguiente enunciado

c[d(avb)(~cvd)(c^~a)]va
{c^(~avb)[~(b^c)]a}vp(q^pv~pvq)
[avd(bvd)(cv~d)]v~a
cv~a[b(avc)]v~c

4
Considerar que 1=verdadero y 0=Falso

8 puntos
8 puntos
2 puntos
2 puntos

c[d(avb)(~cvd)(c^~a)]va
c[(avb)d(~cvd)(c^~a)va

{c^(~avb)[~(b^c)]a}vp(q^pv~pvq)
{c^(~avb)[~(b^c)]a}vp(q^pv~pvq)
{a^(~avb)~(b^c)]c}vp(q^p)v(~pvq)
{a^(~avb)~(b^c)c}v[p(q^p)]v[p(~pvq)]
{a(~avb)~(b^c)c}v(p^q)v[(p^~p)v(p^q)]
{a (avb) (b^c) c} v (p^ q)
(a ^b) b^c) v (c^ c) v (p^ q)
(a^b^b^c) v (p ^a)
0v (p^q)
p^q
[avd(bvd)(cv~d)]v~a
[avd^cv~d)]v~ava
(d^cv~d)v~ava
(cvd~d)v0
(cv0)v0
c

cv~a[b(avc)]v~c
cv~a(avc)v~c^b
(cv~a^a)v(cv~c^b)
(cv0)v(0^b)
c