Creating DNF for a logical Term

  • Thread starter Thread starter Guest
  • Start date Start date
G

Guest

I have a logic Term in a string e.g.

(a v b) ^ (c v -d)

v = OR
^= AND
- = NOT

I want to create the disjunctive Normalform (DNF) of Terms like this. Is
there a possibility to do this with methods from the framework? Does anybody
know a library I can include in my C#-Project to do building of the DNF?

Thanks
 
Thanks for your answer,

but I could not find any boolean algebra functions in mathematica.
 
Back
Top