Questions tagged [boolean-computation]
Questions on the functionality of Mathematica for Boolean computation.
187 questions
1
vote
3
answers
229
views
Faster way to apply a list of numbers to a list of functions
I'm trying to apply two lists random numbers to a list of lists of functions, retrieve a Boolean result for each application, and test for AND coincidence between results. I have a working method, ...
- 309
2
votes
1
answer
99
views
Weird behavior of SatisfiableQ function
I have a few Boolean expressions I wish to solve. The expressions are almost identical, yet there is a significant disparity in the time it takes to solve them. Below are the codes I have run and the ...
- 21
1
vote
0
answers
108
views
Tseitin conversion
Do you know if the Tseitin method is implemented in Mathematica for converting a formula in CNF ? I didn't find it as a parameter of conversion type in ...
- 421
1
vote
2
answers
215
views
Defining a Boolean Region [duplicate]
I'd like to define a new region that is "within direct sight" of a certain point within an existing region.
For the example below, the regions highlighted in red from the black point are not ...
- 5,094
4
votes
3
answers
938
views
Why is the result of TrueQ[(x^n)^m == x^(n*m)] False?
Why is the result of the code below False ?
TrueQ[(x^n)^m == x^(n*m)]
How can I get it to be ...
- 1,265
1
vote
1
answer
201
views
Method options for `BooleanMinimize`
I am learning about Boolean Functions and I noticed in the docs for BooleanMinimize they reference a Method option, but don't provide what those options can be.
Is there any more information on how ...
- 11
1
vote
1
answer
182
views
Is "and" the exact same as "&&" in Mathematica? [closed]
Does the word "and" compile the exact same way as "&&" or are there differences?
- 111
2
votes
1
answer
104
views
Creating a boolean expression of assumptions between variables
I'm trying to create a boolean expression from a list of lists of variables such that the elements of one list are not equal to the elements of all other lists. I thought this might work:
...
- 159
4
votes
1
answer
194
views
How to use Mathematica for demonstration of analysis of Boolean functions?
I am wondering how to use Mathematica to demonstrate some concepts in Analysis of Boolean functions, e.g.:
Influence
Noise stability
Noise operator
$L_q$-norm and $L_\infty$ norm of a boolean ...
- 2,364
2
votes
5
answers
543
views
Calculating union of two sets of reals
Given the following two sets of reals:
-(1/4) < x <= 0 || 0 < x <= 1/2 || x > 1/2
x <= -1 || -1 < x < 0
how can I calculate their union? ...
- 1
2
votes
1
answer
293
views
Square Root of a Boolean Matrix
I am trying to find the square roots of transitive Boolean matrices.
Let $B$ be a transitive Boolean matrix, If $A^2= B$, then $A$ is the square root of $B$.
Here is my try
...
- 55
1
vote
3
answers
250
views
Validity of the number of transitive matrices
I am trying to generate all possible transitive boolean matrices of order nxn which satisfies the following definition of transitivity
Let A=(a_ij)∈M_n(B) be a non-zero matrix. If for any i,j,k in ...
- 55
2
votes
3
answers
625
views
Finding transitive Boolean matrices
I am fairly new here and with Mathematica too.
I have a question regarding Boolean matrices but before this I did a random search and got this
Defining an arbitrary binary relation
But I am unable to ...
- 55
2
votes
1
answer
260
views
Is there a function which tests whether a Boolean expression is an inequality?
For something I am doing in Mathematica, it would be very helpful to have a function f[] which, when applied to an atomic Boolean expression, returns True if the Boolean expression is an inequality, ...
- 23
2
votes
3
answers
271
views
Check if a curve is contained in a region
Let's consider a curve described by a function $y = f(x)$ as well as a region $\mathcal{R}$ (consider that this region can be complicated) described by a set of points $\mathcal{X} = (x_{i,1},x_{i,2})$...
- 754