The Newell and Simon program that proved theorems of Principal Mathematical was ____________ A. Elementary Perceiver B. General Problem Solver C. Logic Theorist D. Boolean Algebra

The correct answer is C. Logic Theorist.

Logic Theorist was a computer program created by Allen Newell, Herbert Simon, and J. C. Shaw at the RAND Corporation in 1956. It was the first program to prove theorems in symbolic logic. The program was able to prove 38 of the first 52 theorems in Whitehead and Russell’s Principia Mathematica.

Elementary Perceiver was a program created by Allen Newell and Herbert Simon in 1956. It was a program that could recognize simple geometric figures.

General Problem Solver was a program created

by Allen Newell, Herbert Simon, and J. C. Shaw in 1957. It was a program that could solve a variety of problems, including logic problems, geometry problems, and cryptarithmetic problems.

Boolean Algebra was a program created by Allen Newell and Herbert Simon in 1958. It was a program that could manipulate Boolean expressions.