(adsbygoogle = window.adsbygoogle || []).push({}); 1. The problem statement, all variables and given/known data

I'm supposed to prove that this statement is a tautology (with truth table):

(p -> ((p OR q) AND ~q)) = (~p OR ~q) AND p

2. Relevant equations

3. The attempt at a solution

But here cleary is that it is not tautology, because left side of equation gets 0 1 1 1 and right side 0 1 0 0Code (Text):

p | q | ~p | ~q | p OR q | (p OR q) AND ~q | p -> ((p OR q) AND ~q) | (~p OR ~q) | (~p OR ~q) AND p

----------------------------------------------------------------------------------------------------

1 1 0 0 1 0 0 0 0

1 0 0 1 1 1 1 1 1

0 1 1 0 1 0 1 1 0

0 0 1 1 0 0 1 1 0

So where did i make mistake, because i cant see it

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Homework Help: Truth table and proving a tautology

**Physics Forums | Science Articles, Homework Help, Discussion**