1
CHAPTER 3
6561 CASES OF EQUATIONAL
BOOLEAN RELATION THEORY
3.1. Preliminaries.
3.2. Some Useful Lemmas.
3.3. Single Clauses (duplicates).
3.4. AAAA.
3.5. AAAB.
3.6. AABA.
3.7. AABB.
3.8. AABC.
3.9. ABAB.
3.10. ABAC.
3.11. ABBA.
3.12. ABBC.
3.13. ACBC.
3.14. Annotated Table.
3.15. Some Observations.
In this Chapter, we study 6561 = 3
8
assertions of EBRT in
A,B,C,fA,fB,fC,gA,gB,gC on (ELG,INF) of a particularly
simple form. We cannot come close to analyzing all
assertions of EBRT in A,B,C,fA,fB,fC,gA,gB,gC on (ELG,INF),
or even of EBRT in A,B,C,fA,fB,gB,gC,
⊆
on (ELG,INF).
Recall the notation A
∪
. B, introduced in Definition 1.3.1.
Thus
A
∪
. B
⊆
C
∪
. D
means
A
∩
B =
∅
∧
C
∩
D =
∅
∧
A
∪
B
⊆
C
∪
D.
This is a very natural concept, and is illustrated by the
following diagram.
______________________________
 C




______________


 A
 B

