Questions on the functionality of Mathematica for Boolean computation.

learn more… | top users | synonyms

4
votes
0answers
156 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 ...
3
votes
0answers
90 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
141 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 ...
0
votes
0answers
48 views

Defining A Function With A Certain Domain

I am trying to plot the numerical range a matrix, which is a set defined like so: $W(A) = \{\langle Ax,x \rangle : x \in \mathbb{C}^n \text{ and } ||x|| = 1\}$ In other words, I am trying to plot ...
0
votes
0answers
66 views

Problem with an If (Christoffel Symbols in Mathematica)

I have the following program: ...
0
votes
0answers
37 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 ...