Logic Synthesis:
Abstraction to Implementation
lFrom: Verbal problem description

lTo: Implementation as a network of basic
       switching functions