SMS versenden: Algèbre de Boole et machines logiques