Tag: boolean-computation

49 Intersecting graphics 2012-01-23T10:41:33.533

34 Are there "All" and "Any" functions in Mathematica? 2012-01-29T03:55:48.127

23 Applying And to lists of Booleans 2012-09-04T16:18:04.403

23 Why is SatisfiabilityCount faster than SatisfiableQ? 2016-01-09T21:36:01.237

21 Mathematica vs. state-of-the-art SAT solvers 2019-07-14T03:07:18.247

19 How to solve the liar problem? 2012-11-03T09:26:46.290

17 Binary decision diagrams (BDD) 2014-09-07T03:17:03.577

17 How can I use Mathematica to solve a complex truth-teller/liar logic problem? 2021-01-19T18:25:28.510

14 Simplify assumes Boolean 1 and 0 in logical expressions 2013-02-16T19:31:38.553

10 Prenex and Skolem normal forms 2012-01-20T10:51:44.480

8 Implementation of a new Game of Life Rule 2012-09-22T11:01:06.130

8 Find positions of certain value in a big boolean list 2018-08-09T17:12:24.350

8 How to modify a string of symbols based on the positions of $1$'s in a list of Booleans? 2020-01-24T11:27:21.880

7 Bitwise operators - Hamlet for Mathematica 2013-01-24T15:22:42.537

7 How to simplify Boolean expression 2015-01-05T08:58:39.303

7 FindInstance boolean program is slow, but fast with BooleanConvert 2017-05-02T22:23:46.307

6 Plotting RegionIntersection 2017-10-16T12:22:16.337

6 Simplify a Boolean Algebra expression with don't cares 2017-11-04T17:26:09.533

5 How to get the boolean value of an inequality involving an InterpolatingFunction? 2012-08-05T14:37:41.463

5 Convert boolean test function to pattern? 2013-01-19T10:12:11.720

5 "And" to continue evaluation after "False" 2013-04-25T20:50:49.497

5 Short circuit logical operators 2013-07-22T21:32:45.583

5 Is there an equivalent of Sum for And? 2014-06-11T15:49:43.173

5 Can I define an axiomatic (Boolean algebra) system and prove theorems using Mathematica? 2014-12-20T11:38:25.990

5 Region Intersection for MeshRegion objects embedded in 3D 2015-05-28T18:39:41.327

5 Theorem Proving 2015-12-04T15:31:45.293

5 Threading sublists on list 2016-05-24T19:40:11.767

5 Boolean function from incomplete truth table 2016-06-27T03:41:21.513

5 Is BooleanRegion limited to only the most trivial cases? 2018-05-16T11:02:27.743

5 How to check if compound proposition is contradiction (is always false)? 2018-08-22T16:28:37.070

5 List of lists elementwise greater/smaller than 2019-05-18T18:54:03.890

5 How to insert a character between any several characters without knowing indexes? 2019-12-09T09:44:33.310

4 Fast method for combining two lists 2014-01-24T01:52:33.910

4 Importing an array from text file and convert it to truth table 2014-11-05T11:07:29.677

4 How to get the center of mass of solids 2016-09-02T14:14:46.530

4 How to specify a Boolean Minterm expression using don't cares in Mathematica 2016-10-31T22:22:47.457

4 How to use Resolve to prove ForAll function 2016-11-28T10:33:26.543

4 Implementing positivity constraints over a six-dimensional hypercube 2017-03-30T14:59:41.080

4 BooleanRegion with .stl files does not work 2018-07-07T09:39:09.640

4 How can I input a logical proposition using a compact (implicit) notation? 2018-08-24T14:29:27.510

4 What is the meaning of this code section? 2020-05-01T03:31:54.810

3 Sequence and boolean And 2013-02-21T16:37:16.127

3 Defining an Implies operation that works for Boolean matrices 2013-04-28T21:07:22.747

3 How to rewrite this function to be faster: Find sub-matrixes of boolean board which imply a given boolean pattern 2013-04-28T22:59:12.203

3 How to negate a boolean vector? 2013-11-09T16:58:34.880

3 Converting truth tables to boolean expressions 2014-04-10T21:23:22.597

3 Simplify binary expressions 2015-01-02T12:10:58.683

3 Defining an arbitrary binary relation 2015-06-26T02:42:58.923

3 Using TrueQ with conditions 2015-10-22T01:17:04.160

3 How to evaluate Boolean expression and get an answer in bitwise form? 2016-01-25T00:18:05.173

3 How to change the colour of parts of a 3D plot, rather than the whole figure? 2016-07-17T14:38:51.220

3 Automatically create a formula from the output of Reduce function 2016-10-25T22:05:52.143

3 boolean casting 2017-02-27T20:37:44.777

3 (FindInstance) Speeding up a slow integer program by converting to a boolean program 2017-05-04T00:55:05.707

3 Applying the Four-color Theorem to the map of Florida 2017-05-05T20:27:47.873

3 Boolean operation to obtain volume 2017-05-16T21:39:55.053

3 How can I speed up my code which finds the ratio of two sums that are hard to compute? 2017-06-03T14:29:25.913

3 How to test all possible input for a logic function? 2018-12-03T05:59:59.350

3 Semantic tableaux generator 2018-12-18T17:01:56.143

3 Create a list of all possible Boolean configurations of three constraints 2019-05-11T13:09:29.877

2 Bit Operations -- Force Binary Bit Representation 2013-01-24T18:36:38.433

2 Matlab-style Find in Mathematica? Value list and Boolean List, how to select values according to the boolean list? 2013-11-09T19:48:39.817

2 How to generate the truth table to prove logical equivalence? 2013-12-20T00:27:30.323

2 Conditional Check on Matrix 2014-02-17T10:46:59.297

2 Given a system of inequalities, how to make Solve find out that two variables should be equal? 2014-09-24T15:24:39.220

2 What are the steps using boolean algebra for transforming one equation into another? 2014-11-24T17:11:08.977

2 Boolean algebra does not simplify 2015-02-13T16:03:00.317

2 Algorithm for converting truth tables to Boolean functions 2015-04-23T14:12:06.700

2 Applying boolean logic to a 2D array 2015-12-10T21:38:41.677

2 Converting Boolean functions to polynomials 2016-03-09T17:09:21.540

2 Ask Mathematica if there exists a value that satisfies conditions 2016-05-18T11:13:00.627

2 Why does this code snippet return False? 2016-08-12T14:24:13.407

2 Inconsistent results with booleanfunction and booleantable 2016-08-24T20:30:48.147

2 Values of sequenced IntegerDigits lists with two fixed elements 2017-07-14T15:37:05.950

2 How to replace symbolic function call by indexing 2017-11-08T14:20:14.377

2 Is it possible to change the ring in which Mathematica does operations? 2018-04-20T19:28:45.270

2 How to force 2=={} as a Boolean output? 2018-07-22T18:42:56.627

2 Compute a certain "separability probability" via a constrained 4D integration over $[-1,1]^4$ 2019-03-15T16:58:57.447

2 Combinatorics with booleans equations 2019-07-24T18:36:18.780

2 Using Boolean operators in FindInstance 2019-12-17T01:23:06.740

2 What can we expect from boolean region operations? 2019-12-17T17:00:40.640

2 Store boolean expression into a variable 2020-01-25T04:32:33.460

2 Boole Simplifcation 2020-02-20T14:46:01.220

2 Evaluate a certain three-dimensional constrained integral 2020-09-15T01:10:36.243

2 Simplifying expressions containing binary variables 2020-09-21T02:39:57.363

2 Usage of 'Less than' condition in Sum 2020-11-12T13:27:41.063

2 Verify a conjectured formula for a modification of a 3D constrained integration successfully solved using Mathematica 2020-11-16T15:12:51.837

1 boolean return value in mathematica 2012-06-19T15:49:56.900

1 Creating a Specific Boolean Function 2013-01-16T00:24:27.663

1 Conditionals slower than operators? 2013-05-09T07:41:53.153

1 NIntegrate using Boole doesn't work 2013-12-06T12:24:32.940

1 Numbering of cases implied by a subset of Boolean vectors 2014-06-15T11:29:00.533

1 3D Contour Plot parts of sphere with gradient less than 0, equal to 0 and more than 0 2014-07-31T09:29:27.540

1 3D Contour Plot - parts with gradients less and more than zero 2014-09-01T09:44:07.800

1 Infinite sums with Boole and EvenQ 2014-12-08T07:03:49.100

1 How to combine all possible N boolean values? 2015-03-09T08:22:37.263

1 Discrete Measure between Binary Vectors 2015-05-18T09:53:03.647

1 How to convert Boolean predicates to numeric expressions 2015-11-21T14:48:51.320

1 How can I draw truth tables using Mathematica 2016-01-25T01:07:25.910