Proposition Bot

Times played: 7 | Date added: August 23 2010
Tags: formal logic electronics robot bot boolean tank circuit

Description: Have some fun using basic formal logic! Create propositions and use them to get the bots to deactivate the sites and then get each bot to its respective exit. (Although all the information required to play this game is provided in the in-game manual, a little familiarity with basic formal logic is recommended.)

Instruction: In some levels, there are regions in which you may control the bots directly using the keys Q (signal) W (reflex mode) A (left plus) S (right plus) Z (left minus) X (right minus); most of the levels require that you set the bots' reflexes, which is done with the mouse. Be sure to take a glance at the manual should you get stuck during game play!

Rated: 2.0/5 (Total votes: 1)