Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 86405

Questions on the functionality of Mathematica for Boolean computation.

4 votes

How can I use Mathematica to solve a complex truth-teller/liar logic problem?

The other answer already provided a great solution. Alternatively, you can try: SatisfiabilityInstances[(a \[Equivalent] ((a \[And] b \[And] \[Not] c) \[Or] (a \[And] \[Not] b \[And] …
timhu's user avatar
  • 101
6 votes
2 answers
119 views

How to solve logic problem with a joker sometimes tell truth and sometimes lie?

If there are only truth teller and liar, I used to solve with BooleanConvert or SatisfiabilityInstances. However for this one, how could I use Mathematica to solve? Mr. Lee is a senior programmer, bu …
timhu's user avatar
  • 101
0 votes

How to solve logic problem with a joker sometimes tell truth and sometimes lie?

Thanks for the solution from user293787. It is very helpful to me. After a lot of effort, I also worked out a way myself to solve this. I define l, m, r as Roberts at left, middle, and right. t as tru …
timhu's user avatar
  • 101