Questions on the functionality of Mathematica for Boolean computation.
0
votes
0answers
17 views
Solving equation with BitAnd or Mod in it [duplicate]
Is it possible to solve an equation with BitAnd[] and/or Mod[] in it?
This equation is in fact simple linear congruential PRNG.
I've tried:
...
-1
votes
0answers
105 views
LinearProgramming approach for “best teams” algorithm
I like to ask a question that is based on one of my other questions in a previous post.
It is about an algorithm that helps me, to find groups for a cooking event. I got great help by Anton Antonov ...
1
vote
0answers
27 views
Make FindInstance accept only parametrized solutions
I have for example the following conditions:
...
1
vote
1answer
58 views
Generating a random network adjacency matrix via an arbitrary average degree [closed]
I wanted to generate a directed random network adjacency matrix by determining the average in-degree myself.
Due to the rules of the model I use, any edge (or matrix element) can be zero or nonzero ...
0
votes
1answer
44 views
I need to organize a sum of terms in a pseudo-boolean function into a matrix!
I have a long 2-local summation of terms that I want to organize into a matrix such that the coefficients of the 1-local terms (a term with just a scalar coefficient and a single variable) are on the ...
0
votes
0answers
25 views
BooleanMinimize with order
I have a Boolean expression with variables $t_1,t_2,t_3$ and $t_4$. The expression is not yet a disjunctive normal form (DNF), but it has the property that if you use ...
0
votes
2answers
52 views
How to create BooleanTables in Mathematica for $A \not \Rightarrow B$ and $A \Leftrightarrow B$? [closed]
How to create BooleanTables in Mathematica for $A \not \Rightarrow B$ and $A \Leftrightarrow B$ ?
2
votes
1answer
68 views
How to specify a Boolean Minterm expression using don't cares in Mathematica
The Mathematica Boolean Computation webpage specifies that Mathematica has full support for "don't care" arguments and values. However I don't see any examples demonstrating this functionality. Could ...
3
votes
1answer
80 views
Automatically create a formula from the output of Reduce function
Suppose an output of Reduce[] function looks like this:
...
2
votes
2answers
104 views
How to get the center of mass of solids
I got a 3Dsolid formed by subtraction of geometries through 'RegionDifference'.
My intention now is to get the center of mass of the solid.
This is the geometry that received the subtraction:
...
5
votes
2answers
131 views
Boolean operations for 3D objects
I want to get a 3D object by Boolean operation, but I cannot find the information that I need to do this. How do I get something like the animation below?
This is my code:
...
2
votes
1answer
27 views
Inconsistent results with booleanfunction and booleantable
Can someone please explain the inconsistent results I'm getting from BooleanTable and BooleanFunction?
Using the following truth table:
...
2
votes
1answer
101 views
Why does this code snippet return False? [closed]
f[_x] := x^2
g[_x] := x^2
TrueQ[f[x] == g[x]]
Can anyone explain why it returns False, while TrueQ[x^2 == x^2] does not? Does ...
3
votes
2answers
83 views
How to change the colour of parts of a 3D plot, rather than the whole figure?
By exporting Matlab data to a txt file and importing it with List3DPlot, I plotted the density of states in a nanowire ...
4
votes
1answer
146 views
Boolean function from incomplete truth table
BooleanFunction in mathematica can convert an input truth table to a Boolean function. It can do so even if the truth table is incomplete. But the interpretation of truth table obtained from such an ...
0
votes
0answers
24 views
Confusion over how “given” is treated in a boolean algebraic statement in Mathematica
I've been trying to do an exercise 2.1 from Probability Theory The Logic of Science by E.T. Jaynes'.
I've gotten to an answer on my paper that I think is right but I just wanted to check my work and ...
5
votes
2answers
118 views
Threading sublists on list
Suppose I have a list of the form:
list = {a, b, {c, d}, f, {g, h}}
i.e. an element of the list could be another list. I want to 'thread' each element of the ...
2
votes
2answers
100 views
Ask Mathematica if there exists a value that satisfies conditions
I would like to build a function that returns true if there exists even one value of xg1 such that having as inputs Mtot, PL, xg2, mac, xga, and defining
...
0
votes
1answer
134 views
Find partial solution for underdetermined system of Boolean equations (Minesweeper)
In this article about creating a Minesweeper solver, the author talks about using matrices to solve given portions of a Minesweeper board. While reading that, I thought of a different way to limit the ...
2
votes
1answer
64 views
Converting Boolean functions to polynomials
We can generate a Boolean function of $n$ variables (take $n=4$ as an example) as follows:
f = BooleanFunction[10, 4]
I want to express $f$ as a polynomial. This ...
1
vote
2answers
110 views
Convert a Boolean table to a Boolean expression
How do I convert a Boolean table to a Boolean expression using BooleanMinterms.
For example:
...
1
vote
1answer
129 views
How can I draw truth tables using Mathematica [duplicate]
For instance, the given expression p ⊕ (p v q)
In the problem I'm trying to solve. There's a Mathematica answer to this:
...
3
votes
2answers
426 views
How to evaluate Boolean expression and get an answer in bitwise form?
I am trying to evaluate the following expression:
11000 AND ( 01011 OR 11011 )
I am able to get the answer on paper. The answer is:
...
16
votes
1answer
284 views
Why is SatisfiabilityCount faster than SatisfiableQ?
Consider the following (large) Boolean expression, which arose in a SAT problem. (The expression is not satisfiable.)
...
2
votes
3answers
152 views
Applying boolean logic to a 2D array
How can I make a function that creates a particular size 2D matrix that determines True or False if a random value between ...
5
votes
0answers
137 views
Theorem Proving
It's a hard for me to write english so I'll try to go straight to my problem.
There is abstract predicate f, that takes two parameters. There are also two other ...
0
votes
1answer
65 views
How to convert Boolean predicates to numeric expressions [closed]
I'd like to use Boolean expressions as numeric values, as in:
a = 3 < 2
b = 3
a * b
but the final result of that is 3 False, instead of 0. I can do something ...
3
votes
1answer
91 views
Using TrueQ with conditions
Say I want to ask Mathematica whether $|x| = x$ for all $x > 0$.
Obviously, if I try TrueQ[Abs[x] == x], I get False, ...
3
votes
1answer
122 views
Defining an arbitrary binary relation
I am trying to define some binary operators. A binary operator operates on a set of variables V and is defined by a subset S of pairs of those variables {Vi,Vj}. For example, "=",">",">=" are all ...
0
votes
1answer
49 views
Compute an indefinite sequence of And
I would like to compute a condition of normalization over a set of vectors which has the form $$ (x_1.x_1 =1 ) \land ...\land (x_n.x_n=1) $$ Where the $x_i$ are vectors, and $n$ is a variable fixed at ...
4
votes
0answers
358 views
Region Intersection for MeshRegion objects embedded in 3D
How can I create a logical intersection of MeshRegion objects that are three-dimensional? The RegionIntersection function will ...
-2
votes
1answer
329 views
Creating truth tables [closed]
I want to write a module in Mathematica that receives a Boolean function f. The module should write on screen:
Truth table of function ...
1
vote
2answers
85 views
Discrete Measure between Binary Vectors
I would like a discrete distance measure between two binary vectors (or strings).
Like HammingDistance but I want the vectors to be considered closer if they have ...
1
vote
0answers
66 views
Algorithm for converting truth tables to Boolean functions
The function BooleanFunction is able to convert a truth table into a Boolean function.
Does anyone know what is the mathematical background and/or algorithm that ...
1
vote
2answers
119 views
How to combine all possible N boolean values?
Is there any simpler formula than
Tuples[{False, True}, 3]
to generate tuples of all combinations of boolean values?
-1
votes
2answers
97 views
Logical Circuit [closed]
Does somebody know about how to simulate this in Mathematica? I want to give Mathematica the two Inputvalues x,y and it should output c,s.
$$c=x\land y$$
$$s=x\veebar y$$
$$x,y\in \{0,1\}$$
2
votes
2answers
122 views
Boolean algebra does not simplify
I am doing some simple Boolean algebra and wanted to perform some calculations in Mathematica but found it doesn't work.
Let us consider the expression:
...
6
votes
2answers
333 views
How to simplify Boolean expression
I would like to simplify
$$((p\oplus q)=True)\wedge(p=True)$$
to
$$q=False$$
I was hoping
BooleanMinimize[((p ⊻ q) == 1) ∧ (p == True)]
would do the trick, but ...
3
votes
4answers
384 views
Simplify binary expressions
Is it possible for Mathematica to do simplifications for expressions where the variables are binary, such as:
a + b = 1 + 2*c => a + b = 1
Here c must be 0 because if it is 1, the RHS is 3 but the ...
5
votes
0answers
194 views
Can I define an axiomatic (Boolean algebra) system and prove theorems using Mathematica?
The general question is
Can I define an axiomatic system and prove theorems using Mathematica?
The more concrete one is about Boolean algebra.
I consider this axiomatic Boolean algebra system (...
1
vote
2answers
124 views
Infinite sums with Boole and EvenQ
Suppose I am interested in a sum across a set of even numbers, such as:
Sum[x, {x, 2, 20, 2}]
110
or
...
2
votes
0answers
183 views
What are the steps using boolean algebra for transforming one equation into another?
I have a special case where I have two equations, which I have solved in a better and quicker way, but I need to solve with Boolean algebra.
Using the laws of Boolean algebra, I have to prove that ...
4
votes
3answers
269 views
Importing an array from text file and convert it to truth table
I am new to Mathematica, and would like some help in the following operation. I have a truth table stored in a text file. I want to read this in Mathematica, and find its Boolean Rule. Suppose I have ...
0
votes
1answer
70 views
Solving at zeroes of a matrix - code only works for simple equation
I have a matrix of zeroes (True) and non-zeroes (False). The matrix is generated from a table of values of two other variables.
I'm trying to observe how the solution for p3 changes with small '...
2
votes
2answers
561 views
Given a system of inequalities, how to make Solve find out that two variables should be equal?
Given two boolean variables x1 and x2 (in the sense that they are in the range [0,1]), if I try to solve the following equation system with Solve:
...
14
votes
3answers
762 views
Binary decision diagrams (BDD)
I would like to use Mathematica to help me simplify a given Binary Decision Diagram (i.e. pick the optimal variable ordering). I don't seem to find anything at all on the topic, although it is ...
1
vote
1answer
196 views
3D Contour Plot - parts with gradients less and more than zero
I'm trying to plot sections of the 3D Contours, with gradient less than zero, and more than zero and equal to zero.
It manages to solve for the derivative, but when I apply the conditions ...
1
vote
2answers
1k views
3D Contour Plot parts of sphere with gradient less than 0, equal to 0 and more than 0
I want to plot only parts of the sphere of radius 1 where the gradient $\frac{\partial z}{\partial x}$ is < 0, = 0 and > 0.
The full sphere is given by:
...
1
vote
2answers
100 views
Numbering of cases implied by a subset of Boolean vectors
In the course of a programming problem I stumbled upon the following sub-problem.
Given an arbitrary, but fixed, number of Boolean variables, I would like to be able to pick a subset of the ...
4
votes
3answers
153 views
Is there an equivalent of Sum for And?
Is there an equivalent to Sum for And?
That is, just like instead of ...
