逻辑变量与基本运算(教案)