Questions on the functionality of Mathematica for Boolean computation.

learn more… | top users | synonyms

5
votes
2answers
201 views

Short circuit logical operators [duplicate]

Suppose I want to compute $f(1)\vee f(2) \vee \ldots \vee f(10^{10})$, but I know a priori that $f(n)$ is True for some $n \ll 10^{10}$ with high probability. For ...
1
vote
1answer
153 views

Conditionals slower than operators?

I want to make my application faster. I tried to replace an If condition with operators. The If condition is ...
3
votes
2answers
285 views

How to rewrite this function to be faster: Find sub-matrixes of boolean board which imply a given boolean pattern

I have Boolean matrix A (called "board") and Boolean matrix B with smaller dimensions (called "pattern"). I am trying to find sub-matrixes C of A such that C has same dimensions as B, and TableImplies[...
3
votes
1answer
142 views

Defining an Implies operation that works for Boolean matrices

I have two Boolean matrices, that both have dimensions m x n. I want to create a function TableImplies, which would return True ...
5
votes
1answer
109 views

“And” to continue evaluation after “False”

Below, is it possible to print No and have x be 2. That is, I'm looking for an And-like function that looks at all arguments ...
3
votes
2answers
180 views

Sequence and boolean And

I'm trying to figure out if a calculation result it's a valid result. As it return a matrix, I need to test that every element it's a number, so I thought this could work... ...
13
votes
2answers
1k views

Simplify assumes Boolean 1 and 0 in logical expressions

Per this chat discussion and this previous question where I encountered the strange behaviour: ...
0
votes
1answer
604 views

Bit Operations — Force Binary Bit Representation

How to force binary bit representation of a number, so BitNot does yield the 1s-complement? BitNot[n] turns ones into zeros and vice versa in the binary bit representation of n. I was unable so ...
7
votes
2answers
497 views

Bitwise operators - Hamlet for Mathematica

What is the best way to check this famous equation: 0x2b || ~0x2b == 0xff Mathematica doesn't seem to have a handy bitwise negation operator. The best thing I ...
4
votes
1answer
277 views

Convert boolean test function to pattern?

What is a "reverse" to MatchQ? MatchQ converts pattern into boolean function. So how to convert back? Suppose I want to use ...
1
vote
3answers
613 views

Creating a Specific Boolean Function

How can I implement a Boolean function F(A,B) that has outputs that are not specific and, therefore, the truth table output of this two-input function will be (a, b, c, d) -- here the first term ...
13
votes
2answers
884 views

How to solve the liar problem?

In an island live two kinds of people: liar and truth-teller, the former only tells lies and the latter only tells truth, now there're two men A and B from the island, A said: "B is a truth-teller." B ...
8
votes
2answers
1k views

Implementation of a new Game of Life Rule

I need to implement a new "game of life" in Mathematica: I have three states — black, red and white. Black means go forward, red go back and white take no action. I would like to implement the ...
21
votes
8answers
812 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
186 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
247 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 ...
29
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 ...
42
votes
7answers
6k 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: ...
6
votes
1answer
600 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 ...