Wolfram Demonstrations Project
Mathematical Logic
« PREVIOUS  |1|2|3|4|  NEXT »
Demonstrations 41 - 60 of 70
Bochvar's Three-Valued LogicLukasiewicz's Three-Valued LogicKnights and Knaves Puzzle GeneratorLewis Carroll's Bilateral DiagramKleene's Three-Valued Logic
Bochvar's Three-Valued Logic
Lukasiewicz's Three-Valued Logic
Knights and Knaves Puzzle Generator
Lewis Carroll's Bilateral Diagram
Kleene's Three-Valued Logic
Venn Diagrams for Two SetsSampling of Boolean FunctionsBoolean Symmetric FunctionsBoolean Primitives as Symmetric Boolean FunctionsGoodstein Function in Terms of Fast-Growing Function Hierarchies
Venn Diagrams for Two Sets
Sampling of Boolean Functions
Boolean Symmetric Functions
Boolean Primitives as Symmetric Boolean Functions
Goodstein Function in Terms of Fast-Growing Function Hierarchies
Short Computation Patterns III3D View of Binary Logical OperationsArithmetic in Lambda CalculusBinary Operators Satisfying Two AxiomsThe Perfect Venn Diagram
Short Computation Patterns III
3D View of Binary Logical Operations
Arithmetic in Lambda Calculus
Binary Operators Satisfying Two Axioms
The Perfect Venn Diagram
GödelizationPlots of Compositions of Bitwise OperationsOne-Term Nestedly Recursive FunctionsMinimal Disjunctive Normal FormSkolemization
Gödelization
Plots of Compositions of Bitwise Operations
One-Term Nestedly Recursive Functions
Minimal Disjunctive Normal Form
Skolemization

« PREVIOUS  |1|2|3|4|  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 © 2013 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+