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

I've not used it but have a look at Mathmatica from Wolfram

http://www.wolfram.com/products/mathematica/introduction.html

Thanks for your answer,

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

Show quoteHide quote

Sorry, I didn't check on algebra support

Access violation reading location 0xbaadf00d: Microsoft Visual Studio is busy
Thread vanishes during Convert.ChangeType() call
Control flow obfuscation.
No map for object '1311703010'. when remoting
Run assembly method in another app domain