Judging Function of Methods of Mathematical Logic Such as Truth Table etc.

• 真值表等数理逻辑方法的判定功能。