Wolfram|Alpha Mathematics

Logic & Set Theory

Boolean Algebra ››

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
test whether a given equation of sets is true
is (A union B)'=(A') intersect (B')

Transfinite Numbers ››

get information about a transfinite cardinal
aleph0
simplify an expression involving cardinals
5*aleph0^aleph0