Questions on the functionality of Mathematica for Boolean computation.

learn more… | top users | synonyms

19
votes
8answers
694 views

Applying And to lists of Booleans

I'd like to take {True,True,False} and {True,False,False} and apply And to get ...
5
votes
2answers
171 views

How to get the boolean value of an inequality involving an InterpolatingFunction?

Here's the code: yan = FunctionInterpolation[x^2, {x, -1, 1}]; FullSimplify[yan[x] > -1, -1 < x < 1] Needless to say, what I expect to see in the output ...
1
vote
1answer
204 views

boolean return value in mathematica

why does the following instruction ok in mathematica, and it returns a boolean value In[398]:= catenary[x, 1, 0, 0] == catenary[-x, 1, 0, 0] Out[398]:= True and ...
27
votes
5answers
2k views

Are there “All” and “Any” functions in Mathematica?

In Python, there is a function all which returns true if all of its arguments are true, and any which returns true if at least ...
40
votes
7answers
5k views

Intersecting graphics

Does the Mathematica graphics system have any concept of intersecting graphics? I've not found much in the documents so far. For example, if I want to show the intersection of two shapes: ...
5
votes
1answer
524 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 ...