数理逻辑 判断是否为公式 输出所有子公式去掉双重否定 去掉蕴含式 真值表计算 判断A是否逻辑的蕴含B 判断A与B是否为等值公式 判断形式推演规则 -Mathematical logic to determine whether the formula for the output of all sub-formulas to remove a double negative is removed implicate truth table logic of the calculation