Wolfram Demonstrations Project
Mathematical Logic
1|2|3|4...6|  NEXT »
Demonstrations 1 - 20 of 107
Boolean Ring Cryptographytq-System Explorerpq-System ExplorerIntegrated Information in Partitioned Boolean NetsGoodstein Function in Terms of Fast-Growing Function Hierarchies
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 DiagramsDeduce Linear Order from RelationsNatural Language Neutral Symbolism in Propositional LogicMutual Information between Boolean Net RegionsPlayable Sudoku Game
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 ConnectionsNormal Forms for Logic ProblemsKnights and Knaves Puzzle GeneratorWason's Selection Task: Test of Logical ReasoningAdversarial Bifurcation
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 TreesRepresentation of Three-Valued Boolean FunctionsMarquand's Representation of Boolean FunctionsRepresentation of Boolean Functions Using Binary TreesEquivalential Formula
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 »
 
RELATED RESOURCES
Mathematica »
The #1 tool for creating Demonstrations
and anything technical. 		Wolfram|Alpha »
Explore anything with the first
computational knowledge engine.		MathWorld »
The web's most extensive
mathematics resource.		Course Assistant Apps »
An app for every course—
right in the palm of your hand.
Wolfram Blog »
Read our views on math,
science, and technology.		Computable Document Format »
The format that makes Demonstrations
(and any information) easy to share and interact with.		STEM Initiative »
Programs & resources for
educators, schools & students.		Computerbasedmath.org »
Join the initiative for modernizing
math education.
Powered by Wolfram Mathematica © 2022 Wolfram Demonstrations Project & Contributors  |  Terms of Use  |  Privacy Policy  |  RSSGive us your feedback
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+