• 2022-07-29
    将已知的命题公式等值地化成给定的联结词完备集中的公式:将公式[tex=5.857x1.357]aRSBqb4ehmoOdO4s//xdLaQTwVAo1jl/HvagYoUDU3A=[/tex]化成[tex=4.143x1.357]uLLFHFtdB2qLcu5fHEwuMMAZkPN96c4ZKYXehalVOSU=[/tex]中的公式