Stating Truth-Tree Rules for non-PL Operators

Here are three non-PL operators and their truth table definitions. For each one, state the truth-tree rule for it, and for the corresponding negation.

1.
p q (p % q)
T T F
T F F
F T F
F F T

 

2.
p q (p ! q)
T T F
T F T
F T T
F F F

 

3.
p q (p ^ q)
T T F
T F F
F T T
F F T

Answers!
table of contents   List of Exercises