写完了命题逻辑这部分，等待算法分析及条件运算符的说明