Verified answer

Hola

a) [(p ∧ q) → q ] ∨ p

Tabla de verdad

.....1..........1......1.........1.

[(...p...∧...q)..→.q ]..∨...p

.....F........F.......F........F.

.....F........V.......V........F.

.....V........F.......F........V.

.....V........V.......V........V.

.....1...2......1......1.........1.

[(...p...∧....q)..→.q ].. ∨... p

.....F...F......F.......F........F.

.....F...F......V......V........F.

.....V...F......F.......F.......V.

.....V...V.....V......V........V.

.....1...2......1..3...1...4...1.

[(...p...∧....q)..→..q ].. ∨..p

.....F...F......F..V..F...V...F.

.....F...F......V..V..V...V...F.

.....V...F.....F...V...F..V...V.

.....V...V.....V..V...V...V..V.

Tautología (todo V)

**************************

b) [(p → (¬ q)) ∧ p ] → (¬ q )

......1.........1.......1..........1.

[(...p.→(¬.q)).∧.p]..→.(¬..q )..

.....F........F......F............F.

.....F........V......F...........V.

.....V........F......V...........F.

.....V........V......V...........V.

No, no se puede representar aquí,

Yahoo no permite tantos conectivos

¿?