1. Summary of the Rules A>B -A B -(A>B) A -B --A A AvB A B
B B
-(A<>B)
A A
-B B
-(AvB) -A -B
-(A&B)
-A B
A&B A B

2. Summary of the Rules A>B -A B -(A>B) A -B AvB A B -(AvB) -A -B

3. Summary of the Rules A>B -A B -(A>B) A -B AvB A B -(AvB) -A -B
(v) branches
so (-v) does not.
-(A&B)
-A B
A&B A B

4. Summary of the Rules A>B -A B -(A>B) A -B AvB A B -(AvB) -A -B
(v) adds no negations
so (-v) adds negations.
-(A&B)
-A B
A&B A B

5. Summary of the Rules A>B -A B -(A>B) A -B AvB A B -(AvB) -A -B

6. Summary of the Rules A>B -A B -(A>B) A -B AvB A B -(AvB) -A -B
(&) does not branch
so (-&) branches.

7. Summary of the Rules A>B -A B -(A>B) A -B AvB A B -(AvB) -A -B
(&) adds no negations
so (-&) adds negations.

8. Summary of the Rules A>B -A B -(A>B) A -B AvB A B -(AvB) -A -B

9. Summary of the Rules A>B -A B -(A>B) A (>) branches
so (->) does not.
AvB
A B
-(AvB) -A -B
-(A&B)
-A B
A&B A B

10. (>) negates the antecedent so (->) negates the consequent.
Summary of the Rules
A>B
-A B
-(A>B) A -B
(>) negates the antecedent
so (->) negates the consequent.
AvB
A B
-(AvB) -A -B
-(A&B)
-A B
A&B A B

11. Summary of the Rules
A<>B
A A
B B
-(A<>B)
A A
-B B

12. Summary of the Rules A<>B A -A B -B -(A<>B) A -A -B B
If A<>B is T
then A and B MATCH.
A is T and B is T or
A is F and B is F.

13. Summary of the Rules A<>B A -A B -B -(A<>B) A -A -B B
If A<>B is F
then A and B DO NOT MATCH.
A is T and B is F or
A is F and B is T.

14. Summary of the Rules A<>B A -A B -B -(A<>B) -A A B -B
If A<>B is F
then A and B DO NOT MATCH.
A is T and B is F or
A is F and B is T.