L'algèbre de Boole des fonctions logiques permet de modéliser des raisonnements logiques, en exprimant un « état » en fonction de conditions.
lalʒˈɛbʁ də- (en)bˈuːl(fr) de- fɔ̃ksjˈɔ̃ loʒˈik pɛʁmˈɛ də- modelizˈe de- ʁɛzɔnmˈɑ̃ loʒˈik, ɑ̃n ɛkspʁimˈɑ̃ ˈœ̃ « etˈa » ɑ̃ fɔ̃ksjˈɔ̃ də- kɔ̃disjˈɔ̃.