Generating Algorithms of Basic Truth Value Matrix
Huiling Zhang · Journal of Gansu Education College · 2005
This paper gives four algorithms to calculate the basic truth value matrix of propositional formulae containing m variables,which sets a core foundation for using a computer to solve the propositional logic decision problems.