B.2 逻辑否定问题