2D Puzzle Visualizations of Boolean Formulae

Abstract

In the comparison between human and computational intelligence, often times the comparison is not straightforward because humans can possess domain knowledge inaccessible to the program they are competing with. To provide a level playing field, it is helpful to have humans and computers compete in a domain where both start with equal domain knowledge, and the domain is well understood.