Based on Boolean algebra, involving binary variables representing true or false, essential for logic operations in AI systems.
Generality: 500