Message Boards Message Boards

GROUPS:

How to write X= (A->B) V C in Wolfram|Alpha?

Posted 2 months ago
602 Views
|
2 Replies
|
0 Total Likes
|

Hey I'm trying to find out the disjunctive normalform and conjunctive normalform of X = (A -> B) V C But it doesn't work how so?

POSTED BY: Joe Weber
2 Replies
Posted 2 months ago

What have you tried? What "doesn't work"?

Is this what you are looking for?

exp = (a \[Implies] b) \[Or] c

AssociationMap[BooleanConvert[exp, #] &, {"DNF", "CNF", "NAND", "NOR"}]
(* 
<|"DNF" -> ! a || b || c, "CNF" -> ! a || b || c, 
 "NAND" -> a \[Nand] ! b \[Nand] ! c, "NOR" -> ! (! a \[Nor] b \[Nor] c)|>
*)
POSTED BY: Rohit Namjoshi
Posted 2 months ago

How to write it in the Wolfram calculator. It says Wolfram|Alpha doesn't understand it.

Attachment

Attachments:
POSTED BY: Joe Weber
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments
Remove
or Discard

Group Abstract Group Abstract