Theorem 3 In the theory of Boolean algebra without atomic elements to decide a sentence with length n the Turing time and space spent in the procedure is in the exponential degree of 2 2 cn .
英
美
- 定理 3 无原子布氏代数的一个长度为 n的语句的判断过程所消耗的 Turing时间和空间都是属于 2 2 cn指数级 .