• 2022-07-29
    [br][/br]将已知的命题公式等值地化成给定联结词完备集上的公式[br][/br]将公式 [tex=4.286x1.214]i/4xNO/tUgIALhimGVvp7LxuHg0Xn0R4g+tyTJ2esUc=[/tex]化成 [tex=3.571x1.357]iGNqrrLaptolM1SiIp8O/9NxaC2oXdkReYW3KjT210Q=[/tex]上的公式.