0:00
上級ブール代数等価性チェック

次の含意を否定と選言だけを使って書き換えてください：

A → B