# 論理展開