← Notedeck
All engines
·
逻辑
en
zh-CN
zh-TW
ja
ko
fr
de
es
pt-BR
tr
it
ar
逻辑
4
engines
真值表 · 命题逻辑
Truth table · propositional logic
命题联结词 ∧∨¬→↔ · 2ⁿ 行枚举 · 重言/矛盾/可满足
Every truth-value combination for a chosen logical expression
逻辑等价 · 定律验证
Logical equivalence · law checker
德摩根/逆否/蕴含 · 两侧真值表逐列比对 · 计算等值
Two expressions are equivalent iff their truth tables match row for row
Categorical syllogisms · Venn test
Categorical syllogisms · Venn test
直言 A/E/I/O · 三圆 Venn 阴影 · Barbara/Celarent 有效式
Test the validity of classic syllogisms by shading and ✕-marking a 3-circle Venn
Boolean algebra · law-based simplification
Boolean algebra · law-based simplification
吸收/冗余/分配/德摩根 · 逐步化简 · 真值表验证
Simplify step by step via absorption / distributive / De Morgan laws, then verify by truth table