Summary of the Rules
A>B
-A
B
-(A>B)
A
-B
B
-(AvB)
-A
-B
AvB
A
A&B
A
B
-(A&B)
-A
-B
--A
A
A<>B
A
B
-A
-B
-(A<>B)
A
-B
-A
B
Summary of the Rules
A>B
B
-(A>B)
A
-B
B
-(AvB)
-A
-B
-A
AvB
A
A&B
A
B
-(A&B)
-A
-B
Summary of the Rules
A>B
B
-(A>B)
A
-B
B
-(AvB)
-A
-B
-A
AvB
A
A&B
A
B
-(A&B)
-A
-B
(v) branches
so (-v) does not.
Summary of the Rules
A>B
B
-(A>B)
A
-B
B
-(AvB)
-A
-B
-A
AvB
A
A&B
A
B
-(A&B)
-A
-B
(v) adds no negations
so (-v) adds negations.
Summary of the Rules
A>B
B
-(A>B)
A
-B
B
-(AvB)
-A
-B
-A
AvB
A
A&B
A
B
-(A&B)
-A
-B
Summary of the Rules
A>B
B
-(A>B)
A
-B
B
-(AvB)
-A
-B
-A
AvB
A
A&B
A
B
-(A&B)
-A
-B
(&) does not branch
so (-&) branches.
Summary of the Rules
A>B
B
-(A>B)
A
-B
B
-(AvB)
-A
-B
-A
AvB
A
A&B
A
B
-(A&B)
-A
-B
(&) adds no negations
so (-&) adds negations.
Summary of the Rules
A>B
B
-(A>B)
A
-B
B
-(AvB)
-A
-B
-A
AvB
A
A&B
A
B
-(A&B)
-A
-B
Summary of the Rules
A>B
B
-(A>B)
A
-B
B
-(AvB)
-A
-B
-A
AvB
A
A&B
A
B
-(A&B)
-A
-B
(>) branches
so (->) does not.
Summary of the Rules
A>B
B
-(A>B) (>) negates the antecedent
A so (->) negates the consequent.
-B
B
-(AvB)
-A
-B
-A
AvB
A
A&B
A
B
-(A&B)
-A
-B
Summary of the Rules
A<>B
A
B
-A
-B
-(A<>B)
A
-B
-A
B
Summary of the Rules
A<>B
A
B
-A
-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.
-(A<>B)
A
-B
-A
B
Summary of the Rules
A<>B
A
B
-A
-B
-(A<>B)
A
-B
-A
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.
Summary of the Rules
A<>B
A
B
-A
-B
-(A<>B)
-A
B
A
-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.