Skip to content
DoingCamp CS

Make it comfy

Lesson style

Quick mode shows the key picture, a summary and the practice. Good for a refresher.

Theme
Font

Both fonts are designed to be easy to read. Some readers with dyslexia prefer Lexend.

Text size
Spacing
Animations

Lesson 16 of 16 · about 45 min

Boss level: the island of knights and knaves

On an island where knights always tell the truth and knaves always lie, every sentence is a logic puzzle. You'll translate what islanders say into formulas, prove who's who by cases, build a solver that cracks any puzzle, and design a puzzle of your own with exactly one answer.

🔓 Unlock this lesson

This lesson is part of the DoingCamp Pass. Members get every lesson in every course, with all the interactive visuals, coding exercises and challenges.

In this lesson you'll learn:

  • "X says S" means X ↔ S
  • Exactly one solution

Free to try in F05 Logic & Proofs:

The first 3 lessons of every course are free, no account needed.