  Boole said the universe of a categorical proposition has two cases, true and false. To find an equational expression for a hypothetical proposition Boole resorted to a near relative of truth tables (MAL, p. 50). To each case, that is, assignment of truth values to \(X\) and \(Y\), he associated an elective expression as follows: