canonical normal form

concept in Boolean algebra