0:00
上級ブール代数簡略化

次の式を選言標準形(DNF)に変換してください:

(A → B) ∧ C

各項はリテラルの連言であり、選言で接続されている必要があります。