设计出一个能使计算机进行逻辑运算的程序

• creating a program that enables the computer to reason logically