单项选择题

()是我们整个现代计算机理论的逻辑基础

A、只有才
B、要么要么
C、如果那么
D、与或非