SOLUTION: Truth tables Use a truth table to show that: ~(𝑝 β†’ π‘ž) ≑ π‘βˆ§βˆΌπ‘ž

Algebra.Com
Question 1170589: Truth tables
Use a truth table to show that:
~(𝑝 β†’ π‘ž) ≑ π‘βˆ§βˆΌπ‘ž

Answer by Edwin McCravy(20056)   (Show Source): You can put this solution on YOUR website!

~(π‘β†’π‘ž) ≑ π‘βˆ§βˆΌπ‘ž

𝑝|π‘ž|π‘β†’π‘ž|~(π‘β†’π‘ž)|βˆΌπ‘ž|π‘βˆ§βˆΌπ‘ž|~(π‘β†’π‘ž)β‰‘π‘βˆ§βˆΌπ‘ž|
T|T| T |F     |F | F   |      T    |
T|F| F |T     |T | T   |      T    |   
F|T| T |F     |F | F   |      T    |
F|F| T |F     |T | F   |      T    |

This is true in all 4 cases, so it's called a tautology".

Rules  (You should learn them).
 
~  means to change what follows ~ to F if it's T, and to T if it's F.

β†’  means to put T in all cases except when there's a T on the left of β†’ and an F on the right of β†’.

≑  means to put a T if the same letter (T or F) is on both sides of ≑.

∧  means to put an F unless there are T's on both sides, then you put T.

v  means to put a T unless there are F's on both sides, then you put F (There were none of these v in this problem.)

Edwin

RELATED QUESTIONS

I am lost on truth tables, can you please help? Construct a truth table for ~q... (answered by jim_thompson5910)
will you show me how to construct a truth table for (p^q)<-->~p thanks... (answered by stanbon)
I am the worst when it comes to truth tables. Please help me figure this one out. It is... (answered by Mathtut)
Construct a truth table for (p q) ~p and it says to show all intermediate steps in your (answered by jim_thompson5910)
I could really use some help with this, I find truth tables to be very confusing and I am (answered by MathLover1)
I need help with truth tables. See question below. The symbol -> is an arrow for... (answered by stanbon,chitra)
How to make a truth table with 3 simple... (answered by Theo)
I am trying to help my daughter with her math and it has been forever since I have done... (answered by solver91311)
Construct a truth table for ~q ^ p (answered by jim_thompson5910)