标签：相容选言命题我们整个现代计算机理论的逻辑基础是（D）