Propositional Logic

BOOLEAN ALGEBRA
Use AND, OR, and NOT logic gates to build complex truth tables and bypass simulated hardware faults.

M1: Sandbox

Explore the core connectives. Click rows in the Truth Table or flip the tactile switches to see how the gates evaluate inputs.

ANDMath: P ∧ Q
Input P
Input Q
Output
Input P
Input Q
Output Signal
0