質問: 次の論理式 ( ~B ∧ ~C ∧ D) ∨ (~B∧~D ) ∨ ( C ∧ D ) ∨ Bは、恒真式(常に真の値をとる)であることを示しなさい。 これの答えを教えてください。
回答: 真理値表でよろしければ、 画像の通りです。 PCで小さければ、スマホでご覧ください。