Redirecting to Canonical form (Boolean algebra)