אנגלית ⇄ סינית +

Boolean algebra of propositional logic
.טֶכנו	命题逻辑布尔代数