which expresses the disjunctive proposition, "Either

and

are together true, or

is true and

is false, or they are both false," and again the equation