I'm still in the process of tagging pages that were migrated from the old site, so for now you're best off using the search engine rather than relying on the tags.
- Using Wolfram|Alpha to simplify logical expressions - You can use Wolfram|Alpha to simplify logical expressions, which is particularly handy if you’re a programmer. Take the following contrived expression, in Ruby: if (not ((a < s) or (b > t))) ... This can be converted to the following query i...