Companion tools for How Logic Works.

Home Proof checker Check a photo Blank template Truth tables DNF converter Model checker Model builder Instructions About these tools Hans Halvorson

© 2025 Hans Halvorson

Symbolic Logic Tools How Logic Works

Truth Tables

Table Style: Full Table Main Connective Text Table LaTeX Table

Truth Values: T / F 1 / 0 ⊤ / ⊥

Working… Tip: Ctrl/⌘ + Enter

© 2025 Symbolic Logic Tools | Report a Bug | Feedback / Questions