Discrete math, taught interactively

Discretica

Interactive discrete math for CS students: topics, proof trainer, practice, and browser-native tools.

Start practiceOpen truth tableBrowse topics
7topics
534problems
54formulas
60proof tasks
0 learned0 saved0 practice attempts0% accuracy0 proof checks

Calculators

Discrete math tools

All calculations run in the browser with validated inputs and shareable route URLs.

Sets

Set operations

A = {1, 2, 3, 5}
B = {2, 4, 5, 8}
A union B = {1, 2, 3, 5, 4, 8}
A intersection B = {2, 5}
A - B = {1, 3}
B - A = {4, 8}
Symmetric difference = {1, 3, 4, 8}