Tiny Structures

Draw a small binary relation by clicking a matrix. A handful of familiar logic properties update as you go.