this post was submitted on 19 Dec 2025
350 points (98.3% liked)

196

5053 readers
1732 users here now

Community Rules

You must post before you leave

Be nice. Assume others have good intent (within reason).

Block or ignore posts, comments, and users that irritate you in some way rather than engaging. Report if they are actually breaking community rules.

Use content warnings and/or mark as NSFW when appropriate. Most posts with content warnings likely need to be marked NSFW.

Most 196 posts are memes, shitposts, cute images, or even just recent things that happened, etc. There is no real theme, but try to avoid posts that are very inflammatory, offensive, very low quality, or very "off topic".

Bigotry is not allowed, this includes (but is not limited to): Homophobia, Transphobia, Racism, Sexism, Abelism, Classism, or discrimination based on things like Ethnicity, Nationality, Language, or Religion.

Avoid shilling for corporations, posting advertisements, or promoting exploitation of workers.

Proselytization, support, or defense of authoritarianism is not welcome. This includes but is not limited to: imperialism, nationalism, genocide denial, ethnic or racial supremacy, fascism, Nazism, Marxism-Leninism, Maoism, etc.

Avoid AI generated content.

Avoid misinformation.

Avoid incomprehensible posts.

No threats or personal attacks.

No spam.

Moderator Guidelines

Moderator Guidelines

  • Don’t be mean to users. Be gentle or neutral.
  • Most moderator actions which have a modlog message should include your username.
  • When in doubt about whether or not a user is problematic, send them a DM.
  • Don’t waste time debating/arguing with problematic users.
  • Assume the best, but don’t tolerate sealioning/just asking questions/concern trolling.
  • Ask another mod to take over cases you struggle with, if you get tired, or when things get personal.
  • Ask the other mods for advice when things get complicated.
  • Share everything you do in the mod matrix, both so several mods aren't unknowingly handling the same issues, but also so you can receive feedback on what you intend to do.
  • Don't rush mod actions. If a case doesn't need to be handled right away, consider taking a short break before getting to it. This is to say, cool down and make room for feedback.
  • Don’t perform too much moderation in the comments, except if you want a verdict to be public or to ask people to dial a convo down/stop. Single comment warnings are okay.
  • Send users concise DMs about verdicts about them, such as bans etc, except in cases where it is clear we don’t want them at all, such as obvious transphobes. No need to notify someone they haven’t been banned of course.
  • Explain to a user why their behavior is problematic and how it is distressing others rather than engage with whatever they are saying. Ask them to avoid this in the future and send them packing if they do not comply.
  • First warn users, then temp ban them, then finally perma ban them when they break the rules or act inappropriately. Skip steps if necessary.
  • Use neutral statements like “this statement can be considered transphobic” rather than “you are being transphobic”.
  • No large decisions or actions without community input (polls or meta posts f.ex.).
  • Large internal decisions (such as ousting a mod) might require a vote, needing more than 50% of the votes to pass. Also consider asking the community for feedback.
  • Remember you are a voluntary moderator. You don’t get paid. Take a break when you need one. Perhaps ask another moderator to step in if necessary.

founded 11 months ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[–] bstix@feddit.dk 4 points 1 day ago (1 children)
[–] Filetternavn@lemmy.blahaj.zone 3 points 1 day ago* (last edited 1 day ago)

The fun is in discrete logic! There is a whole field of mathematics (discrete mathematics) that analyzes the logic of situations that involve binary (true/false) statements, such as the solution to this riddle.

The riddle can be summed up as the following:

Let Y represent a question asked of the knights.
Let A(x) be a boolean function representing the answer of the truth-teller.
Let B(x) be a boolean function representing the answer of the liar.

B(x)≡¬A(x)

An answer can only be determined if the knights do not contradict, otherwise it could not be determined which knight was lying, for instance when Y≡(A(Y)∧B(Y))∨(¬A(Y)∧¬B(Y))≡T.
A trivial question whose answer is logically true would result in the following form:

Y≡(A(Y)∧B(Y))∨(¬A(Y)∧¬B(Y))
A(Y)≡T
B(Y)≡F
Y≡(T∧F)∨(F∧T)≡F∨F≡F
∴Y≡F

Such a question would allow identification of which knight is lying, but would not provide information on which door is true.

Let D represent a set of m doors where there is exactly 1 correct door.

∃!n∈ℕ:D(n)≡T∧n≤m

The player ideally wants to discover which value n is correct so they can choose a door accordingly.
Let R represent the following question: "What are all the doors the other knight could say are correct?".
Let S represent all possible answers to the question "What is the correct door?" for each knight respectively.
Let P be the set representing the value n where D(n)≡T, and Q be the set representing all values n where D(n)≡F,

P⊂D
P={n}
Q⊂D
Q=D-P

Thus the following properties are true:

P∩Q=∅
P∪Q=D

Consider that the answer S would be either t∈P if a knight is telling the truth or t∈Q if a knight is lying.
Thus when answering question R:

A(R)≡B(S)≡t∈Q
B(R)≡¬A(S)≡t∈Q

Since question R asks for all possible answers, both knights would provide an answer equivalent to set Q.

∴ the correct answer is D-Q; the one door that neither knight says.

I'm a little rusty on my discrete mathematics, as I haven't done it in 3+ years, but hopefully my answer is logically sound! Feel free to correct me.