6  6:7
7:1  7:2  7:3  7:4  7:5  7:6  7:7

We may think of G and H as being logical sums of the following forms:

G  =  Sum_ij G_ij (i:j)

H  =  Sum_ij H_ij (i:j)

The notation &quot;Sum_ij&quot; indicates a logical sum over the collection of
elementary relations i:j, while the factors G_ij, H_ij are values in
B = {0, 1} that are known as the &quot;coefficents&quot; of the relations G, H,
respectively, with respect to each of the elementary relations i:j.

Given all this, we may write out the expansions of G