• 正體: 帝莫根定理[電子計算機]