Propositional Logic Demo

Click each variable to cycle Unset -> True -> False. Toggle rules on or off, and the worlds table updates immediately to darken rows that violate your active constraints.

Propositional Variables

Unset = no direct constraint True = variable must be true False = variable must be false

Implication Rules

Possible States of the World

Selected State Analysis

State description (click a row):

Click a world row to generate a natural-language summary.

Violations:

Click a world row to see violated assignments and rules.