Home » forums » LtU Forum

Colorful dominoes game hides an exercise in propositional logic

Dominoes on Acid is a game superficially similar to the classic dominoes game. You get tiles with patterns on each end, and you can connect the ends of two tiles only when they show the same pattern. But instead of the standard two-color tiles spots, the tiles in Dominoes on Acid have (sometimes very complex) multi-colored patterns. Spoiler about 'proof in classical propositional logic' on authors site: http://www.winterdrache.de/freeware/domino/index.html
By jasha123 at 2010-01-05 17:16 | LtU Forum | previous forum topic | next forum topic | other blogs | 7521 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Wang Tiles?

Not sure what the LTU content is in this, and the linked page crashes my Firefox. But the description above sounds like it's related to Wang Tiles.

By Tom Duff at Tue, 2010-01-05 19:12 | login or register to post comments

Not similar

The tiles encode purely implicational formula (well, with red representing absurdity), and can be arbitrarily complex. There is no connection to tiling with these "acid dominoes".

By Charles Stewart at Wed, 2010-01-06 10:26 | login or register to post comments

Wang Tiles is topology

Wang Tiles is topology algorithm but Dominoes is decoration for
proving tautology in logic.

Workaround for Firefox - take a JAR from
http://sourceforge.net/projects/nddomino/

There is concise walktrough in the help menu.
If i may suggest, follow it to the explanation of Level 22.
It is proof of Pierce Law:

A                            
----------------[((A->B)->A)]
(((A->B)->A)->A)             
-----------------------------
(((A->B)->A)->A)

Most probably you will like it.

By jasha123 at Fri, 2010-01-08 10:29 | login or register to post comments