Questions on use and formulation of logical operations, including both functions for programming and for mathematical operations.

learn more… | top users | synonyms

22
votes
4answers
4k views

Elegant solution to the Zebra [logic] Puzzle (“Einstein's Riddle”)

The famous Zebra Puzzle (Wikipedia), often called "Einstein's Riddle," is a logic puzzle that can be solved deductively by applying a list of logical rules. One version of the riddle (from Wikipedia) ...
8
votes
2answers
247 views

TrueQ returning False on true statement

Why does TrueQ return False on the following? TrueQ[Log[2]/Log[8] == 1/3] (* False *) ...
1
vote
3answers
148 views

How to limit only two “0 and 1” strings for an xor implement?

I tried to implement some logic gates for a series of "0 & 1" strings, just like and, or, nand, nor and not listed below. How could I limit xor only accept a two strings list as its argument? ...
0
votes
1answer
44 views

Resolving a logical statement

I would like to test whether f[n] > 0 and f[n + 1] > 0 implies f[n + 2] > 0. This ...