Try Notedeck free · More Logic demos
← Notedeck 逻辑 · 逻辑等价 · 定律验证 Try in Notedeck

Logical equivalence · law checker — interactive Logic demo

Two expressions are equivalent iff their truth tables match row for row

Run this interactive Logic demo live below, or download it as a single self-contained HTML file that works offline in any browser or LMS — one of 1,900+ free interactive teaching demos on Notedeck. With Notedeck you upload your own materials and turn them into interactive courseware, question papers with answer keys, and AI-taught lessons.