>>653
ドモルガンは法則ではなくて公理すなわち前提条件なのでは?