25岁已婚妇女，停经60天， * * 少量流血2天，色鲜红，伴轻度下腹阵发性疼痛。检查宫口闭，子宫大如孕2个月，既往孕2个月流产1次。本例应诊断为（）

A.先兆流产

B.难免流产

C.不全流产

D.稽留流产

E.习惯性流产

逻辑的符号化案例，启示我们（）。

A.逻辑运算可以被认为是基于0和1的运算，其本质是一种基于位的二进制运算；形式逻辑的命题与推理可以基于0和1的运算来实现

B.硬件设计的基础理论--布尔代数，即是将逻辑与0和1的运算结合起来的一种数字电路设计理论

C.人的基本思维模式和计算机的0和1运算是相通的

D.上述全