现腐败行为的自动逻辑判别.
       布尔运算 是 针 对 二 进 制 的, 尤 其 是 二 进 制 用 于 表 示 逻 辑 的 "是 "
    与 "非" 的运算,它很简单,可能没有比布尔运算更简单的运算了.
       布尔 (Geo
             rgeBoo
                  le) 是 19 世 纪 英 国 最 重 要 的 数 学 家 之 一.1854
年,布尔的 "思维 规 律 研 究" 一 书 出 版, 这 本 书 第 一 次 向 人 们 展 示 了
如何用数学的方 法 解 决 逻 辑 问 题. 在 此 之 前, 人 们 普 遍 认 为 数 学 和 逻
辑是