creating a program that enables the computer to reason logically

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