如何用c语言实现离散数学中推理理论的证明

如何用c语言实现离散数学中推理理论的证明,用真值表法.
要求:环境为vc++2010或者dev c++