正しく論理展開をする