Boolean algebra (introduction)#Propositional calculus