Group Abstract Group Abstract

Message Boards Message Boards

0
|
11.3K Views
|
3 Replies
|
0 Total Likes
View groups...
Share
Share this post:

Entering Boolean Algebra in Wolfram|Alpha?

Johny Bravo
Posted 10 years ago

The expression looks like this http://prntscr.com/af82k1

I entered:

(not B and A)(D implies not E) or (not (B or A))((C and not D) or (not C and D)) or (A and ((not E and B) xor ((not C) and D and (not B)))))

I keep getting invalid input, what did I write wrong?
POSTED BY: Johny Bravo
3 Replies
Sort By:

This is the way I understood your input:

(not B and A) and (D implies not E) or (not (B or A)) and ((C and not D) or (not C and D)) or (A and ((not E and B) xor ((not C) and D and (not B))))

This the link for W|A:

http://www.wolframalpha.com/input/?i=%28not+B+and+A%29++and+%28D+implies+not+E%29+or+%28not+%28B+or+A%29%29+and+%28%28C+and+not+D%29+or+%28not+C+and+D%29%29+or+%28A+and+%28%28not+E+and+B%29+xor+%28%28not+C%29+and+D+and+%28not+B%29%29%29%29

This the way I simplified it:

BooleanConvert[
             And[! B, A] &&  Implies[D, ! \[CapitalEpsilon]] || ! Or[B, A] && (And[C, ! D] || And[! C, D]) ||
              And[A, Xor[And[! \[CapitalEpsilon], B], And[! C, D, ! B]]]
             ]

(A&&!B&&!D)||(A&&!E)||(!B&&C&&!D)||(!B&&!C&&D) <= link broken, check below

http://www.wolframalpha.com/input/?i=%28A%26%26!B%26%26!D%29||%28A%26%26!E%29||%28!B%26%26C%26%26!D%29||%28!B%26%26!C%26%26D%29

Binary decision tree form:

http://www.wolframalpha.com/input/?i=%28A+AND++%28NOT+%28%28B+AND++E%29+OR++%28%28NOT+B%29+AND++C+AND++E+AND++D%29%29%29%29+OR++%28%28NOT+A%29+AND++%28NOT+%28B+OR++%28%28NOT+B%29+AND++%28%28C+AND++D%29+OR++%28%28NOT+C%29+AND++%28NOT+D%29%29%29%29%29%29%29
POSTED BY: Christopher French
Bill Simpson
Bill Simpson
Posted 10 years ago
POSTED BY: Bill Simpson

What syntax are you referring to Mathematica or Wolfram|Alpha?
POSTED BY: Sander Huisman
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Tag limit exceeded
Note: Only the first five people you tag will receive an email notification; the other tagged names will appear as links to their profiles.
Reply Preview
Attachments
Remove
or Discard