S silverpef New member Joined Sep 4, 2012 Messages 1 Sep 4, 2012 #1 Can anyone help me out with the following? -p<->q (p->q)v(-p->q) (p->q)^(-p->q) (p<->q)v(-p<->q) (-p<->-q)<->(p<->q)
Can anyone help me out with the following? -p<->q (p->q)v(-p->q) (p->q)^(-p->q) (p<->q)v(-p<->q) (-p<->-q)<->(p<->q)
M modus New member Joined Sep 4, 2012 Messages 6 Sep 4, 2012 #2 What seems to be the trouble? Do you have any idea how to begin constructing a truth table? Do you know what a truth table is?
What seems to be the trouble? Do you have any idea how to begin constructing a truth table? Do you know what a truth table is?
