Generator of simple implications


This program tries to play the Tic-Tac-Toe game but without knowing its rules. So, this program tries to find these rules by itself.

In order to understand this program you have to read the paper Second attempt to build a model of the Tic-Tac-Toe game.

Use F5 to make the first moves and F8 to add more moves. In Help/Axioms you can see the simple implications which was generated. If you want to make 20,000 steps then first go to Options/Memory and set the number of added steps to be 1,000 and the display to be at every 200 steps.

You can download and try this program.