in reply to Re: Boolean algebra
in thread Boolean algebra

Maybe I wasn't clear. This means that
are equally correct input strings (they are even the same expression since (a AND b AND c) OR (b AND NOT a AND c) is the same as (c AND b AND NOT a) OR (b AND c AND a)).

But the output of the first reduction would be

and of the second reduction

Of course there can be many negated variables like this:
which would result in

Replies are listed 'Best First'.
RE: RE: Re: Boolean algebra
by merlyn (Sage) on Nov 13, 2000 at 18:52 UTC
    Why is the second one (cb) and not (bc), since both orderings are in the input string? What permits me to pick one subexpression over the other? You still aren't clear, and the specification is still ambiguous to me.

    -- Randal L. Schwartz, Perl hacker

      Sorry for being ambigous.

      Let's start over:
      The whole expression ((...)(...)) can be simplified if the two partial expressions (inside the braces) differ in just one negated variable.

      If the whole expression can be simplified, then the result is the first partial expression without the variable that differs. (So have to pick first partial expression.)

      That's why (in these two examples) one output is (cb) and the other one is (bc)