Zaslat SMS: Algèbre de Boole et machines logiques