Canonical form boolean algebra