10753
EXPLORE
LATEST
ABOUT
AUTHORING AREA
PARTICIPATE
Your browser does not support JavaScript or it may be disabled!
Another Knights and Knaves Puzzle Generator
This Demonstration provides another generator of knights and knaves logic puzzles. These puzzles are about an island in which some natives called "knights" always tell the truth and other natives called "knaves" always lie.
Contributed by:
Izidor Hafner
SNAPSHOTS
DETAILS
R. M. Smullyan,
What Is the Name of This Book?
, Englewood Cliffs, New Jersey: Prentice–Hall, 1978.
RELATED LINKS
Propositional Logic Test
(
Wolfram Demonstrations Project
)
Knights and Knaves Puzzle Generator
(
Wolfram Demonstrations Project
)
PERMANENT CITATION
"
Another Knights and Knaves Puzzle Generator
" from
the Wolfram Demonstrations Project
http://demonstrations.wolfram.com/AnotherKnightsAndKnavesPuzzleGenerator/
Contributed by:
Izidor Hafner
Share:
Embed Interactive Demonstration
New!
Just copy and paste this snippet of JavaScript code into your website or blog to put the live Demonstration on your site.
More details »
Download Demonstration as CDF »
Download Author Code »
(preview »)
Files require
Wolfram
CDF Player
or
Mathematica
.
Related Demonstrations
More by Author
Propositional Logic Puzzle Generator
Izidor Hafner
Deaf Island Puzzle Generator
Izidor Hafner
Propositional Logic Test
Izidor Hafner
Bochvar's Three-Valued Logic
Izidor Hafner
Lukasiewicz's Three-Valued Logic
Izidor Hafner
Four-Variable Karnaugh Map
Mariusz Jankowski
Binary Operators Satisfying Two Axioms
Michael Schreiber
Lewis Carroll's Diagram and Categorical Syllogisms
Izidor Hafner
Knights and Knaves Puzzle Generator
Izidor Hafner
Knights, Knaves, and Normals Puzzle Generator
Izidor Hafner
Related Topics
Foundations of Mathematics
Mathematical Logic
Puzzles and Recreations: Advanced
School Puzzles and Recreations
Browse all topics
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+