Student and teacher (in the order above) have taken on a project of trying to understand something about Boolean algebra, logic circuits, and applications with the aid of Mathematica. We quickly recognized that the logical puzzles popularized by Raymond Smullyan that involve Knights (truth tellers) and Knaves (liars) are ideally suited for analysis by Boolean methods and truth tables. with a big boost from Mathematica. Not only is there a lot of mathematics to be learned, there is a great deal of fun to be had. The topic seems to us to be an ideal vehicle for exposing young high school and undergraduate college students to wonderful mathematics outside of the standard Advanced Placement Calculus stream.
© Virginia Mathematics and Science Coalition, licensed under a Creative Commons Attribution 4.0 International License (CC BY 4.0) (https://creativecommons.org/licenses/by/4.0/)
Reinhart, H. and Boyd, J.
"A Note on Knights, Knaves, and Truth Tables,"
Journal of Mathematics and Science: Collaborative Explorations: Vol. 15
, Article 14.
Available at: https://scholarscompass.vcu.edu/jmsce_vamsc/vol15/iss1/14