susumu 12.D 命題論理-4 ブールの論理学