Tarea No. 2

p	q	p^q
0	0	0
0	1	0
1	0	0
1	1	1
Tabla1 p r (p^q) (p^q)^r 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 1 0 1 1 1 1 Tabla 2 p q ¬q (p→¬q) ¬(p→¬q) (p^¬q) ¬(p→¬q)^(p^¬q) 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 0 0 Tabla3 Tabla 4 p q ¬q p^q pv¬q 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 1 1 0 1 1 Tabla5 p q r p^q p^q^r 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 1 0 1 1 1 1 1 Tabla6 p q ¬q (p^¬q) ¬(p^¬q) ¬(p^¬q)^(p^¬q) 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 Tabla7 p q ¬P ¬q ¬p^¬q (p^¬q) ¬¬(¬p^q)v(p^¬q) 0 0 1 1 1 0 1 0 1 1 0 0 0 0 1 0 0 1 0 1 1 1 1 0 0 0 0 0 p q r pvq pvq^r 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 1 1 1 1 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 Tabla8 p q ¬P ¬q ¬p^¬q ¬(¬p^¬q) (¬p^¬q¬)^(¬p^¬q) 0 0 1 1 1 0 0 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 0 0 1 0 Tabla9 Tabla10 p q r ¬r pvq 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 0 1 p q r p^q p^q--->r 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 1 1 1 1 1 1 1 tabla11 tabla12 p q r ¬r p^q p^q--->¬r 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 1 0 0 1 0 1 1 0 1 0 0 0 1 1 0 1 1 1 1 1 1 0 1 0 p ¬P p ssi ¬p 0 1 0 0 1 0 1 0 0 1 0 0 tabla13 p ¬q (p^¬q) ¬(p^¬q) ¬(p^¬q)^(p^¬q) 0 1 0 1 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 tabla14 p q ¬¬pv¬¬q 0 0 0 0 1 1 1 0 1 1 1 1 tabla15 p q p v q 0 0 0 0 1 1 1 0 1 1 1 1 tabla16 p q r p ssi q p ssi q v r 0 0 0 1 1 0 0 1 1 1 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 tabla17 p ¬P q (¬pvq) (p^q) [(¬pvq) v (p^q)] [(¬pvq) v ¬p] [(¬pvq) v (p^q)]--->[(¬pvq) v ¬p] 0 1 0 1 0 1 1 1 0 1 1 1 0 1 1 1 1 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 tabla18 p q ¬P ¬q pv¬q (pv¬q)--->(¬p---> ¬q) 0 0 1 1 1 1 0 1 1 0 0 1 1 0 0 1 1 1 1 1 0 0 1 1 tabla19  tabl p q ¬q p ssi ¬q pv¬q (p ssi¬q)  v ( pv¬q) 0 0 1 0 1 1 0 1 0 1 0 1 1 0 1 1 1 1 1 1 0 0 1 1 p ¬P q (¬pvq) (¬p--->q) 0 1 0 1 0 0 1 1 1 1 1 0 0 0 1 1 0 1 1 1 tabla21 p q ¬P ¬q ¬p v¬q 0 0 1 1 1 0 1 1 0 1 1 0 0 1 1 1 1 0 0 0 tabla22 p q r ¬q ¬r (p--->q )^r ¬qvr (¬qvr)v¬r (p--->q )^r ssi (¬qvr)v¬r 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 1 1 0 1 0 0 1 1 0 1 1 0 1 0 1 1 0 0 1 1 0 1 1 0 0 1 0 0 1 0 1 1 1 0 0 0 1 1 0 tabla23 q r ¬q ¬r ¬q^r ¬(¬qvr) ¬q^r ---> ¬(¬qvr) ¬q^r ---> ¬(¬qvr) v¬r 0 0 1 1 0 0 1 1 0 1 1 0 1 0 0 0 1 0 0 1 0 1 1 1 1 1 0 0 0 0 1 1 tabla24 p q r ¬r P--->q ¬(p v r) P--->q^r ¬(p v r)v¬r [P--->q^r]---> [¬(p v r)v¬r] 0 0 0 1 1 1 0 1 1 0 0 1 0 1 0 1 1 1 0 1 0 1 1 1 0 1 1 0 1 1 0 1 0 1 1 1 1 0 0 1 0 0 0 1 1 1 0 1 0 0 0 0 0 1 1 1 0 1 1 0 0 1 1 1 1 1 0 1 0 1 1 1 tabla25 p q r ¬r P--->q q--->r (P--->q)^q--->r p^¬r (P--->q)^(q--->r)--->(p^¬r) 0 0 0 1 1 1 1 0 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 0 0 0 1 0 1 1 0 1 1 1 0 0 1 0 0 1 0 1 0 1 1 1 0 1 0 0 1 0 0 1 1 1 0 1 1 0 0 1 1 1 1 1 0 1 1 1 0 0 tabla26 tabla27 p q r (q ^ r) ¬(¬q V r) ¬p↔(q ^ r) ¬p↔(q ^ r) V ¬(¬q V r) 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 1 1 0 1 1 1 0 1 1 1 0 0 0 1 1 1 1 0 1 0 0 0 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 tabla28 p q (p V ¬q) (p → q) (¬p → q) [(p V ¬q) → (p → q)] [(¬p → q) V ¬p] [(¬p → q) V ¬p] V ¬p [(p V ¬q) → (p → q)] → [(¬p → q) V ¬p] V ¬p 0 0 1 1 0 1 1 1 1 0 1 0 1 1 0 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 tabla29 p q ¬(p V q) (p → q) [¬(p V q) V (p → q)] (¬p → q) [(¬p → q) V ¬p] [¬(p V q) V (p → q)] → [(¬p → q) V ¬p] 0 0 0 1 1 1 1 1 0 1 0 0 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 tabla30 p q r (p → q) (q → r) (p ^ r) (p → q) ^(q → r) (p → q) ^ (q → r) → (p ^ r) 0 0 0 1 1 1 1 1 0 0 1 1 0 0 0 1 0 1 0 0 1 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 1 0 0 0 1 1 1 0 1 1 0 1 0 1 1 1 1 1 0 1 0 tabla31 p q r p ^q (p ^ q → r) p V r (p ^q → r) → (p V r) 0 0 0 1 1 1 1 0 0 1 1 0 1 1 0 1 0 0 1 1 1 0 1 1 0 1 1 1 1 0 0 0 1 1 1 1 0 1 0 1 0 0 1 1 0 0 1 1 1 1 1 1 0 1 0 0 p q p^q 0 0 0 0 1 0 1 0 0 1 1 1 Tabla1