# Tagged Questions

Questions on the functionality of Mathematica for Boolean computation.

0answers
133 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 ...
0answers
188 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 (...
0answers
268 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 ...
0answers
173 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 ...
0answers
59 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 ...
0answers
18 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 ...
0answers
50 views

### Problem with Greater in Compile

I am relatively inexperienced with Mathematica so I apologize for the possibly simple question. I have written the following function which should receive a matrix as input. If I compile this, ...