Re: Synopsis 3: quick junction question

Sean O'Rourke wrote: S3 says: 1|2 + 3&4; # (4|5) & (5|6) but shouldn't that equal (1 + (3&4)) | (2 + (3&4)) = (4&5) | (5&6) = (4|6) & 5 # ??? No, it shouldn't. You should read: 1|2 + 3&4 as: "Is ther

Synopsis 3: quick junction question

S3 says: 1|2 + 3&4; # (4|5) & (5|6) but shouldn't that equal (1 + (3&4)) | (2 + (3&4)) = (4&5) | (5&6) = (4|6) & 5 # ??? For one thing, OR's of AND's (DNF) is just nicer than AND's of OR's (CNF). For another, I read th