Proposition Puzzle Cryptography

Requires a Wolfram Notebook System
Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.
Find the solution of a propositional puzzle (with knights and knaves) to get the key. Plain text is reconstructed using a symbolic language based on the Boolean ring.
Contributed by: Izidor Hafner (August 27)
Open content licensed under CC BY-NC-SA
Details
References
[1] Strømmen. "1000 Most Common Spanish Words-Frequency Vocabulary." (Jun 8, 2023) strommeninc.com/1000-most-common-spanish-words-frequency-vocabulary.
[2] 1000 Most Common Words. "1000 Most Common Esperanto Words." (Jun 8, 2023) 1000mostcommonwords.com/1000-most-common-esperanto-words.
[3] Wiktionary. "Frequency Lists." (Jun 9, 2023) en.wiktionary.org/wiki/Wiktionary:Frequency_lists.
Snapshots
Permanent Citation