Logic
Truth table builder
Use variables like p, q, r with !, &&, ||, ->, <->, xor, parentheses.
| p | q | result |
|---|---|---|
| F | F | T |
| F | T | T |
| T | F | T |
| T | T | T |
Tautology
Discrete math, taught interactively
Discretica
Interactive discrete math for CS students: topics, proof trainer, practice, and browser-native tools.
7topics
534problems
54formulas
60proof tasks
Calculators
Discrete math tools
All calculations run in the browser with validated inputs and shareable route URLs.