逻辑函数Y=AC+BC'的与非与非式是（ ）。A. Y=( (AC)' (BC')' )'B. Y=( (AC)' (BC') )'C. Y=( (AC)'+ (BC')' )'D. Y=(AC)' (BC')'

考查要点：本题主要考查逻辑函数的与非与非式转换，需要掌握德摩根定律的应用及与非门的组合形式。

解题核心思路：
将原逻辑函数中的“或”运算转换为“与非”运算的组合。根据德摩根定律，$A + B = (\overline{A} \cdot \overline{B})'$，因此需要将原式中的“或”运算拆解为多个与非门的级联结构。

破题关键点：

1. 明确与非与非式的定义：仅通过与非门的组合实现原函数。
2. 将原式中的“或”运算转换为“与非”运算的嵌套形式。

原式为 $Y = AC + BC'$，需转换为与非与非式：

1. 应用德摩根定律：
   根据德摩根定律，$A + B = (\overline{A} \cdot \overline{B})'$，因此：
   $Y = (AC + BC') = \overline{(\overline{AC} \cdot \overline{BC'})}$

2. 逐层展开与非结构：

   • 第一步：将“或”运算转换为外层非运算包裹的“与”运算。
   • 第二步：将每个乘积项（如 $AC$ 和 $BC'$）的非运算拆解为与非门的组合。
     最终表达式为：
     $Y = \overline{(\overline{AC} \cdot \overline{BC'})} = \left( (AC)' \cdot (BC')' \right)'$

3. 选项匹配：
   选项A的表达式 $\left( (AC)' (BC')' \right)'$ 完全符合推导结果，因此正确答案为 A。