Search results for "
topics:mathematical logic content:And OR Boole OR Equal OR ...
View search results from all Wolfram sites (369256 matches)
Demonstrations 21 - 40 of 101
Normal Forms for Logic Problems
Short Computation Patterns III
Lewis Carroll's Bilateral Diagram
Some Formulas Involving Quantifiers and Propositional Connections
Spies and Double Agents
Knights and Knaves Puzzle Generator
Alternative on the Island of Knights and Knaves
Logic with Letters
Propositional Logic Puzzle Generator
Definitions of Two-Placed Connectives in Lesniewski's Protothetic
Plots of Compositions of Bitwise Operations
Truth Tellers on Tuesdays
The Ontological Table
Euler Circles for Categorical Syllogisms
Venn Diagrams for Two-Variable Boolean Logic Circuits
Wason's Selection Task: Test of Logical Reasoning
Lewis Carroll's Diagram and Categorical Syllogisms
2D Logic Game with Letters
The #1 tool for creating Demonstrations
and anything technical.
Explore anything with the first
computational knowledge engine.
The web's most extensive
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.
Join the initiative for modernizing
Note: Your message & contact information may be shared with the author of any specific Demonstration for which you give feedback.
© 2018 Wolfram Demonstrations Project & Contributors |
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