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

逻辑的符号化案例，启示我们（）。
A.其它三个选项都正确
B.逻辑运算可以被认为是基于0和1的运算，其本质是一种基于位的二进制运算
C.形式逻辑的命题与推理可以基于0和1的运算来实现
D.硬件设计的基础理论–布尔代数，即是将逻辑与0和1的运算结合起来的一种数字电路设计理论
E.人的基本思维模式和计算机的0和1运算是相通的
正确答案：其它三个选项都正确