我正在尝试找到一个带有 AND、OR 和 NOT 门的布尔电路，只是为了计算 ¬（（A → ¬B） ∧ （C → A）） 的布尔函数。我的尝试是： 我在两个关节上放箭头的地方（我相信“→或暗示”在函...