展开 逻辑变量所表示的是什么