Algorithm for Analyzing Logical Statements
to Produce a Truth Function Table
CACM March, 1958
Wolpe, H.
