Timeline for How can I use Mathematica to solve a complex truth-teller/liar logic problem?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 22, 2022 at 8:33 | comment | added | Sjoerd Smit |
You can also use SatisfiabilityInstances[p \[And] q \[And] r, {a, b, c}] to find a solution to the problem and SatisfiabilityInstances[p \[And] q \[And] r, {a, b, c}, All] to find all of them.
|
|
| Jan 20, 2021 at 17:16 | comment | added | SnzFor16Min | @MichaelSeifert Yes. This indicates that, from what they say, nothing can be inferred about A. | |
| Jan 20, 2021 at 16:23 | comment | added | Michael Seifert | Note that the result does not include $A$, which implies that $A$'s status as a truth-teller or liar is not determined by the logical statements given. | |
| Jan 19, 2021 at 19:36 | vote | accept | Peter Burbery | ||
| Jan 19, 2021 at 18:58 | history | answered | SnzFor16Min | CC BY-SA 4.0 |