PanLinx
普通话
cmn-000
命题代数
English
eng-000
algebra of proposition
English
eng-000
algebra of propositions
English
eng-000
propositional algebra
PanLex