document.getElementById("med-ftitle").innerHTML=`AC 补充问题：可满足性与否定消除
`;