For every proposition involving logical addition and multiplication (``or'' and ``and''), there is a corresponding proposition in which the words ``addition'' and ``multiplication'' are interchanged.
