🧩

逻辑与集合论 · 真值表与韦恩图

把蕴含和集合运算变成可以点开的图

P → Q 不是重言式
P → Q · 可满足式
橙色的行表示当前正在检查的赋值