Logic Calculator, for When Symbols Need to Explain Themselves

Field notes

The site accepts both mathematical symbols and keyboard-friendly spellings such as !, &&, ->, and <->, then presents several forms of analysis around the same expression. Its Karnaugh-map solver is limited to two through six variables and identifies minimal sum-of-products or product-of-sums results. A separate truth-table tool generates DNF or CNF formulas, while the learning area organizes 16 guides and includes exercises with progress tracking and adaptive training sessions.