Logic & Set Theory
A few examples of what you can ask Wolfram|Alpha about:
analyze a Boolean expression
compute a truth table for a Boolean function
compute a logic circuit for a Boolean function
convert a Boolean expression to disjunctive normal form
get information about a transfinite cardinal
simplify an expression involving cardinals