This is a pencil game based on "resolution".
Though the resolution is a basic tool for automated theorem proving, it's a very simple rule.
In this game, it is realized as a rule for erasing characters.
Henüz yorum veya değerlendirme yok! İlk yorumu yapmak için lütfen