• 2022-07-29
    将已知的命题公式等值地化成给定联结词完备集上的公式[br][/br]将公式 [tex=3.571x1.214]Xb00iVPL8KRkcXuyhCyOtAamlHDLu/v6DcxUWNDe914=[/tex] 化成 [tex=3.571x1.357]NekM7uTiT6P4sHmXl+4HnRoc9fDMQZysVk+qfRLia1I=[/tex] 上的公式.