Combinational gate abstraction

特点

• Outputs function of input alone
• satisfies static discipline