[br][/br]将已知的命题公式等值地化成给定联结词完备集上的公式[br][/br]将公式 [tex=4.286x1.214]i/4xNO/tUgIALhimGVvp7LxuHg0Xn0R4g+tyTJ2esUc=[/tex]化成 [tex=3.571x1.357]iGNqrrLaptolM1SiIp8O/9NxaC2oXdkReYW3KjT210Q=[/tex]上的公式.
举一反三
- 将已知的命题公式等值地化成给定联结词完备集上的公式[br][/br]将公式 [tex=3.571x1.214]Xb00iVPL8KRkcXuyhCyOtAamlHDLu/v6DcxUWNDe914=[/tex] 化成 [tex=3.571x1.357]NekM7uTiT6P4sHmXl+4HnRoc9fDMQZysVk+qfRLia1I=[/tex] 上的公式.
- 将已知的命题公式等值地化成给定的联结词完备集中的公式:将公式[tex=4.286x1.214]CLjQiYuDEHbQe+wWiokCE5QW2GI1ffmr84DwR63rjJg=[/tex]化成[tex=3.357x1.357]Y09+Ks4cPFYpbMlPYVR6E+BBFrBYZFsaZ1lRr5wHVcI=[/tex]中的公式
- 将已知的命题公式等值地化成给定的联结词完备集中的公式:将公式[tex=3.571x1.214]aQCSK4yZLNlAVVl8kUqI3ucIDN7GF2d3VTCbzJyZyps=[/tex]化成[tex=3.357x1.357]fnVKY3kODMgCL7Ry65Qj5g==[/tex]中的公式
- 将已知的命题公式等值地化成给定的联结词完备集中的公式:将公式[tex=5.857x1.357]aRSBqb4ehmoOdO4s//xdLaQTwVAo1jl/HvagYoUDU3A=[/tex]化成[tex=4.143x1.357]uLLFHFtdB2qLcu5fHEwuMMAZkPN96c4ZKYXehalVOSU=[/tex]中的公式
- 将下列公式化成与之等值且仅含中联结词的公式.[br][/br][tex=3.429x1.071]veVrtnLZ7itnJWo8a64JqILj2HI7Xv5T1l7OMkyW4uA=[/tex]