Kung推理过程的可靠性和完备性

1985年,Kung提出了一个可以高度并行的推理过程。这个推理过程用一个矩阵表示待驳斥的子向集,然后从该矩阵形成两个布尔矩阵(0-1矩阵)M~+和M~-,利用另一个布尔矩阵M(=M~+×(M~-)~T)中布尔