Karnaugh map
Thai alphabet
Implicant
K
Canonical form
Abstraction
Notation
Boolean algebra
Mathematics
Quine–McCluskey algorithm