Note 470 — Chapter I
Reading edition
Thus, taking the term ABC or DE or FG, and in the first instance denoting the contradictory of a complex term by a bar drawn across it, we have successively,—
ABC or DE or FG
= ABC (DE or FG)
= (AB or c) DE . FG
= (a or b or c) (d or e) (f or g).