two-level logic optimization

1. REDIRECT Logic optimization#Circuit minimization in Boolean algebra

{{R with possibilites}}