Artificial intelligence
The Newell and Simon program that proved theorems of Principia Mathematica was:

Boolean Algebra
Logic Theorist
General Problem Solver
Elementary Perceiver
None of these

ANSWER DOWNLOAD EXAMIANS APP