Showing posts with label truth tables.. Show all posts
Showing posts with label truth tables.. Show all posts

Monday, July 20, 2009

practice problems for truth tables

Instead of columns running left to right, it's easier in this text editor to make a truth table that is put together in rows going from top to bottom

Here is an example: Create the truth table for (p OR q) IMPLIES q.

p
__________________ T T F F
q__________________
T F T F
p OR q_____________ T T T F
(p OR q) IMPLIES q_ T F T T

Not a tautology, because of the F in the second position.

Try the following.

a) (p IMPLIES q) OR (p IMPLIES NOT q)

b) (NOT p) IMPLIES (p IMPLIES q)

Answers in the comments.