Questions on the functionality of Mathematica for Boolean computation.

learn more… | top users | synonyms

5
votes
0answers
132 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 ...
5
votes
0answers
184 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 (...
4
votes
0answers
257 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
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 ...
1
vote
0answers
58 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 ...
0
votes
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 ...
0
votes
0answers
49 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, ...