Kalkulus diferensial Boolean

Kalkulus diferensial Boole merupakan sebuah bidang subjek aljabar Boolean yang membahas tentang perubahan variabel Boole dan fungsi Boole. Konsep ini mirip dengan konsep kalkulus diferensial klasik, khususnya dalam mempelajari perubahan fungsi dan variabel terhadap yang lain. Ada berbagai aspek teori sistem dinamik yang dipelajari dengan menggunakan kalkulus ini, seperti teori automata pada automata berhingga, teori jaring Petri, dan teori kontrol pengawasan.