离散数学(┐B∨┐C) ∧(┐C∨┐D) ((┐B∧┐C) ∨(┐B∧┐D) ∨(┐C∧┐D) ∨┐C)思路是什么?

问题描述:

离散数学(┐B∨┐C) ∧(┐C∨┐D) ((┐B∧┐C) ∨(┐B∧┐D) ∨(┐C∧┐D) ∨┐C)思路是什么?