Questions on the functionality of Mathematica for Boolean computation.

learn more… | top users | synonyms

4
votes
0answers
145 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 ...
2
votes
0answers
131 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
63 views

Problem with an If (Christoffel Symbols in Mathematica)

I have the following program: ...
0
votes
0answers
28 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 ...
-3
votes
0answers
76 views

Creating truth tables

Hello guys i need help about this problems: I should write module in mathematica which receive function f. Module should write on screen: -Truth table of function f -Boolean expression which contains ...