Boolean Algebra is what you linked to. And, Or, Not, Nand, Nor... We studied it in Digital Logic in Electrical Engineering.
Alrighty, then.