c语言命题逻辑