不用介绍了吧，离散数学的玩意，求真值表，用C++编程序实现的，可以学习一下哦。- Not have introduced it, stuff discrete mathematics, seeking truth table, compiled using C++ program, you can learn about, oh.