[单项选择题]‍利用开关代数的公理或定理，判断与（x+y’）’等价的逻辑关系为（）。

[单项选择题]‍若集成块内部为驱动单元提供的驱动能力为1X，对于下图所示的输出缓冲设计（图中反相器上面标注了相应的驱动能力），该输出单元的延迟时间（从a到y）相当于（）个内部标准门级联的延迟时间。

[多项选择题]逻辑函之间满足（）关系。

[多项选择题]​数字设计的层次主要有（）。