Tiny Logic Worlds

Build a tiny world of dots and arrows. Click to flip properties, then see which logical sentences are true.