Boolean Expression In Canonical Form