P ∧ Q
| P | Q | P ∧ Q |
|---|---|---|
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | F |
A pop celebration of formal reasoning
Think clearly.
P ∧ Q
Both must be true. The conjunction binds two propositions and returns truth only when neither falters.
P ∨ Q
At least one is true. Disjunction is generous -- a single spark is enough to light the room.
¬ P
Negation flips truth on its axis. Whatever was bright becomes dark, whatever was dark, bright.
P → Q
Implication is a promise. The premise pledges the conclusion -- broken only when truth begets falsehood.
A grid of fundamental truths -- bold blocks where logic resolves to a color.
| P | Q | P ∧ Q |
|---|---|---|
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | F |
| P | Q | P ∨ Q |
|---|---|---|
| T | T | T |
| T | F | T |
| F | T | T |
| F | F | F |
| P | Q | P → Q |
|---|---|---|
| T | T | T |
| T | F | F |
| F | T | T |
| F | F | T |
| P | Q | P ⊕ Q |
|---|---|---|
| T | T | F |
| T | F | T |
| F | T | T |
| F | F | F |
TRUE FALSE Hover a row or a column header.
Three statements, one luminous conclusion.
All thinkers seek truth.
You are a thinker.
You seek truth.