Mathematics
Boolean data type
Negation
Read–eval–print loop
FO
Conditional
Boolean expression
Boolean algebra
Mathematical logic
Computing