Evaluate
Evaluate Cell
Cut
Copy
Copy as
Plain Text
Input Text
Image
Paste
Convert to
InputForm
StandardForm
TraditionalForm
Image
Clear Formatting
Formatting...
Divide Cell
Merge Cells
Publish/Share Cell
Embed...
Email Cell to
Me
Others...
Email Cell...
Deploy Cell as
Instant API
Instant Web Computation
Instant Web Form
Embeddable Code
Advanced
Show Cell Expression...
Cell Update History...
WOLFRAM

DEMONSTRATIONS
PROJECT
Solving Logic Puzzles with Binary Trees
number
of
propositional
variables
2
3
4
difficulty
less
more
permutation
of
variables
{
a
,
b
}
show
truth
values
new
example
Example
:
b
⧦
¬
a
0
1
1
0
This Demonstration uses a binary tree representation of Boolean functions with two to four arguments to solve simple propositional logic puzzles.