RONRI.NET

論理

THE NETWORK OF LOGIC

Logic is not dry formalism. It is the underlying geometry of clear thinking — made visible, interactive, beautiful.

BAUHAUS ∧ LOGIC

TRUTH TABLES

Each cell is a logical proposition. Click to toggle its truth value. Red = False. Yellow = True.

AND ∧

P
Q
P∧Q
T
F
F
F

OR ∨

P
Q
P∨Q
T
T
T
F

NOT ¬

P
¬P
F
T

XOR ⊕

P
Q
P⊕Q
F
T
T
F
T = TRUE F = FALSE CLICK TO TOGGLE

LOGIC GATES

Geometric symbols for logical operations. Each gate transforms inputs into outputs through structured, deterministic rules.

AND
OUT: 0
OR
OUT: 0
NOT
OUT: 1
XOR
OUT: 0
NAND
OUT: 1
NOR
OUT: 1

SET RELATIONS

Visualize set operations. Click the region buttons to highlight intersections, unions, and complements.

A B
SELECT A REGION

SYLLOGISM

P1 All A are B.
P2 All B are C.
∴ All A are C.

Barbara — the most fundamental syllogistic form. Validity guaranteed by transitivity of inclusion.

PROPOSITIONAL LOGIC

LOGICAL LAWS

DE MORGAN ¬(A∧B) ≡ ¬A∨¬B
DOUBLE NEG ¬¬A ≡ A
DISTRIBUTIVE A∧(B∨C) ≡ (A∧B)∨(A∧C)
ABSORPTION A∧(A∨B) ≡ A