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
6
votes
7
answers
878
views
Similarities between two vectors
Is there simpler and/or faster code for this?
List1={1,2,4,6,7};
List2={1,3,5,6,7};
Rule:
If values at respective positions match, output 1 else output 0.
Result:
...
- 832
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
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
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
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
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
38
votes
7
answers
4k
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 ...
- 5,001
19
votes
2
answers
1k
views
How can I use Mathematica to solve a complex truth-teller/liar logic problem?
I have a logic puzzle I want to convert to Mathematica to solve:
Person A states, "Exactly two people are truth-tellers,"
Person B states, "I and Person C are truth-tellers."
...
- 1,885
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
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
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
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
1
vote
1
answer
292
views
Can this previously solved three-dimensional constrained integration also be solved with certain added products in the integrand?
In Solved3DConstrainedIntegration
the constrained three-dimensional (Hilbert-Schmidt-metric-based HSmetric) integration problem for the absolute separability probability of the two-qubit (quantum bit)...
- 2,415
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