Determine weather (not p^(p->q))-> not p.

I don't know where to start. The only way I know is use truth table.

Printable View

- Mar 15th 2010, 01:42 PMquestionboytautology problem
Determine weather (not p^(p->q))-> not p.

I don't know where to start. The only way I know is use truth table. - Mar 15th 2010, 02:55 PMemakarov
Edit: Are you supposed to do this without truth tables?

- Mar 15th 2010, 05:54 PMquestionboy
yes. without truth table

- Mar 16th 2010, 06:30 AMemakarov
Check out a Java applet at izyt.com - Boolean Logic: Applet. It not only computes the simplified expression but also lists the steps done.

- Mar 16th 2010, 09:15 AMSoroban
Hello, questionboy!

I made up names for these rules:

. .

Quote:

Tautology? .

. . . . . .

Ita tautology.*is*

- Mar 17th 2010, 01:43 PMSeppel