27) ¬p↔(q˄r)v¬(¬qvr)
p | q | r | ¬p | (q˄r) | ¬p↔(q˄r) | ¬q | (¬qvr) | ¬(¬qvr) | ¬p↔(q˄r)v¬(¬qvr) |
0 | 0 | 0 | 1 | 0 | 0 | 1 | 1 | 0 | 0 |
0 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 0 |
0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 1 | 1 |
0 | 1 | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 1 |
1 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 1 |
1 | 0 | 1 | 0 | 0 | 1 | 1 | 1 | 0 | 1 |
1 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 1 |
1 | 1 | 1 | 0 | 1 | 0 | 0 | 1 | 0 | 0 |
28) [(pv¬q)à(pàq)]à[(¬pàq)v¬p]v¬p
p | q | ¬p | ¬q | (pv¬q) | (pàq) | (pv¬q)à(pàq) | (¬pàq) | (¬pàq)v¬p | [(¬pàq)v¬p]v¬p |
0 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 1 | 1 |
0 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 1 | 1 |
1 | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 1 |
1 | 1 | 0 | 0 | 1 | 1 | 1 | 1 | 1 | 1 |
[(pv¬q)à(pàq)]à[(¬pàq)v¬p]v¬p |
1 |
1 |
1 |
1 |
29) [¬(pvq)v(pàq)]à[(¬pàq)v¬p]
p | q | ¬p | (pvq) | ¬(pvq) | (pàq) | ¬(pvq)v(pàq) | (¬pàq) | (¬pàq)v¬p) | [¬(pvq)v(pàq)]à[(¬pàq)v¬p] |
0 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 1 | 1 |
0 | 1 | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 1 |
1 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 1 | 1 |
1 | 1 | 0 | 1 | 0 | 1 | 1 | 1 | 1 | 1 |
30) (pàq)˄(qàr)à(p˄r)
P | q | r | (pàq) | (qàr) | (pàq)˄(qàr) | (p˄r) | (pàq)˄(qàr)à(p˄r) |
0 | 0 | 0 | 1 | 1 | 1 | 0 | 0 |
0 | 0 | 1 | 1 | 1 | 1 | 0 | 0 |
0 | 1 | 0 | 1 | 0 | 0 | 0 | 1 |
0 | 1 | 1 | 1 | 1 | 1 | 0 | 0 |
1 | 0 | 0 | 0 | 1 | 0 | 0 | 1 |
1 | 0 | 1 | 0 | 1 | 0 | 1 | 1 |
1 | 1 | 0 | 1 | 0 | 0 | 0 | 1 |
1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
31) (p˄qàr)à(p v r)
p | q | (p˄q) | r | (p˄q)àr | (p v r) | (p˄qàr)à(p v r) |
0 | 0 | 0 | 0 | 1 | 0 | 0 |
0 | 0 | 0 | 1 | 1 | 1 | 1 |
0 | 1 | 0 | 0 | 1 | 0 | 0 |
0 | 1 | 0 | 1 | 1 | 1 | 1 |
1 | 0 | 0 | 0 | 1 | 1 | 1 |
1 | 0 | 0 | 1 | 1 | 1 | 1 |
1 | 1 | 1 | 0 | 0 | 1 | 1 |
1 | 1 | 1 | 1 | 1 | 1 | 1 |
No hay comentarios:
Publicar un comentario