Questions on the functionality of Mathematica for Boolean computation.

learn more… | top users | synonyms

5
votes
1answer
490 views

Prenex and Skolem normal forms

In MMA version 7 there was a big advance in logic support ("Boolean computations" is the official name). This was not further developed in version 8.0. So now we have a fairly robust support for ...