用代数方法解逻辑推理问题

摘要

@@ 许多逻辑推理问题能够非常巧妙地利用代数方法解决.请看下面的例子.rn我们约定:某事为"真",其值为1;某事为"假",其值为0.对"某事"则用代码表示.这样,基于已知的事实,我们能形成一些表达式或等式,而这些表达式或等式在大多数情况下,可以像在代数中那样对待.下面举一个非常简单的例子,说明这种思想是怎样被应用在逻辑推理中的.