 | 此條目可参照英語維基百科相應條目来扩充。 (2018年4月20日) 若您熟悉来源语言和主题，请协助参考外语维基百科扩充条目。请勿直接提交机械翻译，也不要翻译不可靠、低品质内容。依版权协议，译文需在编辑摘要注明来源，或于讨论页顶部标记 {{Translated page}}标签。 |
 | 此條目没有列出任何参考或来源。 (2018年4月20日) 維基百科所有的內容都應該可供查證。请协助補充可靠来源以改善这篇条目。无法查证的內容可能會因為異議提出而被移除。 |
布尔域 B 是一般的 2-元素集合，比如 B = {0, 1}，它的元素被解释为逻辑值，典型的 0 = 假而 1 = 真。
布尔变量 x 是从布尔域取值的变量，比如 x ∈ B。
 | 这是一篇與逻辑学相關的小作品。你可以通过编辑或修订扩充其内容。 |