0:00
エキスパート論理等価性等価性チェック

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

A → (B ∧ C)

DNFは節の選言であり、各節はリテラルの連言です。