Logic & Set Theory
analyze a Boolean expression
P && (Q || R)
compute a truth table for a Boolean function
truth table p xor q xor r xor s
compute a logic circuit for a Boolean function
logic circuit (p or ~q) and (r xor s)
convert a Boolean expression to disjunctive normal form
DNF (P || Q || R) && (~P || ~Q)
Set Theory
generate a Venn diagram
(A union B) intersect C
symmetric difference of S and T
(complement S) intersect (A union B)
get information about a transfinite cardinal
aleph0
simplify an expression involving cardinals