Mozi (@yeahhe)题库新增数电题,是否有模型能战 中发帖

将与或式 \( ABC + \overline{A} \cdot \overline{B} \cdot \overline{C} \) 转换为与非 - 与非式