Observed arrival · 2026-08-30
Logic Calculator Turns Propositions Into Tables, Maps, and Proofs
A browser-based logic workbench for analyzing propositional and Boolean expressions, generating truth tables, solving Karnaugh maps, and practicing formal reasoning.
Field notes
The calculator accepts both mathematical symbols and ordinary keyboard spellings, including !, &&, ->, and <->. Its output is unusually broad for a logic utility: the page describes truth tables, equivalent forms, Karnaugh maps, circuit diagrams, and semantic tableau proofs. A separate converter produces disjunctive or conjunctive normal forms from a user-supplied truth table, while the learning section lists 16 guides and practice exercises.
Observed signals
Read the marks
Editorial observations of this landing page, not a rating.
One card from the complete issue