(p->q)->(p^q)

Write down its truth table

Printable View

- Aug 11th 2006, 07:13 AMColettetruth tables
(p->q)->(p^q)

Write down its truth table - Aug 11th 2006, 07:47 AMSoltras
Well P and Q are the only statement variables, so there are four possible inputs:

P true, Q true; P true, Q false; P false, Q true; and P false, Q false.

So you'll need four rows.

The statement is (P->Q) -> (P^Q)

If you let C = P->Q and D = (P^Q) then this is really just C->D, which is elementary.

Code:`C D`

P Q (P->Q) (P^Q) C->D

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

T T T T

T F F F

F T T F

F F T F