EXPLORE
LATEST
ABOUT
AUTHORING AREA
PARTICIPATE
Your browser does not support JavaScript or it may be disabled!
Subscribe to RSS feed
Mathematical Logic
1
|
2
|
3
|
4
...
6
|
NEXT
»
Demonstrations 1 - 20 of 107
Boolean Ring Cryptography
tq-System Explorer
pq-System Explorer
Integrated Information in Partitioned Boolean Nets
Goodstein Function in Terms of Fast-Growing Function Hierarchies
Interactive Venn Diagrams
Deduce Linear Order from Relations
Natural Language Neutral Symbolism in Propositional Logic
Mutual Information between Boolean Net Regions
Playable Sudoku Game
Some Formulas Involving Quantifiers and Propositional Connections
Normal Forms for Logic Problems
Knights and Knaves Puzzle Generator
Wason's Selection Task: Test of Logical Reasoning
Adversarial Bifurcation
Solving Logic Puzzles with Binary Trees
Representation of Three-Valued Boolean Functions
Marquand's Representation of Boolean Functions
Representation of Boolean Functions Using Binary Trees
Equivalential Formula
1
|
2
|
3
|
4
...
6
|
NEXT
»
Note: To run this Demonstration you need Mathematica 7+ or the free Mathematica Player 7EX
Download or upgrade to
Mathematica Player 7EX
I already have
Mathematica Player
or
Mathematica 7+