Three Basic Truth Tables

Statement:   p and q:     p ^ q

Possible Truth Values:

p	q

Truth Table:

p	q	p ^ q

Statement:  p or q:         p     q

p	q	p   q

Statement:  If p then q:       p -> q

p	q	p -> q

Combined Statement:  - p ^ ( p     q)

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