Algèbre de boole

Bonjour, on m'a dit que ma calculatrice TI Nspire CX CAS peut simplifier les algorithmes de Boole par exemple :
Comment fait-on?
Merci d'avance
- Code: Select all
S1 = a.b+c.a(a+b.c)
Comment fait-on?
Merci d'avance
