计算机的基本结构以真值函数理论