Small Models

Type a small formula and see if it is true in a finite structure you can edit. Click to toggle edges and marks, then watch truth flip.