SOLUTION: Truth Table: ~(P=>Q)<=>(P^~Q) I believe I am on the right path with the following: P Q P=>Q ~(P=>Q) ~Q P^~Q t t t t f t f t t

Algebra.Com
Question 385135: Truth Table: ~(P=>Q)<=>(P^~Q)
I believe I am on the right path with the following:
P Q P=>Q ~(P=>Q) ~Q P^~Q
t t t t f t
f t t f f f
t f f t t t
f f t f t f
Making this table a neither a tautology or a contrdiction. Would this be correct? Six columns with 4 t or f under each column. They would not line up for me so I hope this is understandable.
Melody

Answer by jim_thompson5910(35256)   (Show Source): You can put this solution on YOUR website!
The truth table for ~(P=>Q)<=>(P^~Q) is

PQP => Q~(P => Q)~QP ^ ~Q~(P => Q) <=> (P ^ ~Q)
TTTFFFT
TFFTTTT
FTTFFFT
FFTFTFT



which means that we have a tautology (because the last column has nothing but T in it).


If you need more help, email me at jim_thompson5910@hotmail.com

Also, feel free to check out my tutoring website

Jim

RELATED QUESTIONS

Write the statement in symbols using the p and q given below. Then construct a truth... (answered by swincher4391)
I need to construct a truth table. I want to know if I'm on the right track q "and" ~p (answered by Edwin McCravy)
This is what I came up with is it correct? , construct a truth table for the statement. (answered by sudhanshu_kmr)
I have done a truth table below and i need someone to check it for me. I am not sure if I (answered by Edwin McCravy)
Did I do this truth table correctly??? Help Construct a truth table for (not q and p)... (answered by Fombitz)
PLEASE HELP ME~ Construct a truth table for the following ∼(∼p ∨... (answered by jim_thompson5910)
Construct a truth table for q ↔ (p ~q) Here is what I did not sure if it is... (answered by stanbon)
Fill the headings of the following truth table using p, q, , , ,... (answered by Edwin McCravy)
Fill the headings of the following truth table using p, q, ~, ->, v, and ^. p q (a)... (answered by nerdybill)