通过求主析取范式判断下面命题公式是否等值：[tex=2.071x1.214]0ChGGUTPiQE2FAruJVT/LQ==[/tex]；[tex=2.071x1.214]vV5XP+CRmbDUGTiYqjNqnw==[/tex]
解：①[tex=2.071x1.214]1op0G57Bktj0uypRLp0jDw==[/tex][tex=4.786x1.357]y8LuSm71q2LpxnLwWvR1b4/tP8SA+DzFDbzs6efmHl/JedvoIw/1x/9hQwByqGWp[/tex][tex=4.714x1.071]y8LuSm71q2LpxnLwWvR1bw0s7FBKkrRuIzXCqCIoX+/DuqbN4Zfy8t01NTXGSs1k[/tex][tex=15.5x1.357]y8LuSm71q2LpxnLwWvR1b9lo9RMKw+p2/OV6TFyBDotT/1Vwit9PwLJI8TXA+ky0pEMz40e3b1i6+ZbLHd1q8MxlkN93BxfJuvSw4Q2zjGqQKcOaClmV9tBLp3PJ0B0p[/tex][tex=20.0x1.357]y8LuSm71q2LpxnLwWvR1b2KbHoEqieNTpfjcceLn1PAebzY6U0rwrdXvs3WR9UQP621A80futUWAGiF/dNLoJuB/sqo/ENIGHL/S7U7JbsHOuE/3/pYqnuLdExJ8hsBrz6s49CD+a1MRgS6lKD/hVw==[/tex][tex=14.714x1.357]y8LuSm71q2LpxnLwWvR1b2KbHoEqieNTpfjcceLn1PAebzY6U0rwrdXvs3WR9UQP621A80futUWAGiF/dNLoJtYPlmL5nf4M3I1r3Fi4hzVDbtRbJFTVlgsUXa6vag/D[/tex][tex=7.214x1.071]y8LuSm71q2LpxnLwWvR1b/2hf+MBTO39w6xS6kwwCVcxKOM3yZrO9fegoep2CqK5[/tex]②[tex=2.071x1.214]vV5XP+CRmbDUGTiYqjNqnw==[/tex][tex=4.786x1.357]y8LuSm71q2LpxnLwWvR1b0uOrZWbJG+Qml3gWEBMa6Q=[/tex][tex=4.714x1.071]y8LuSm71q2LpxnLwWvR1bxmYTfEIpjUl7L1KL2HYBAqfgXi+MRdOoRX3v1pQMAnA[/tex][tex=2.571x1.0]y8LuSm71q2LpxnLwWvR1b/tpKNV3je9ajNUtAmy5l+U=[/tex]由于[tex=2.071x1.214]KNpIjypchOQD6XxrL5FPYA==[/tex]与[tex=2.071x1.214]xjSxSnS7TBrSL9z0wFrfUsWSdSDLcqQK7nU+olTO7S8=[/tex]的主析取范式不同，因而它们不等值，即[tex=5.571x1.214]+ZFMJISPwdzLTrHNWcAQDMQjoCzuwfwuUcfP4f0cRR15fU/s0Lxztt5FgjSQH1Mh[/tex]。
举一反三
- 利用主范式判断下列两个命题公式是否等值:(1)[tex=9.143x1.357]5Tp/bC0lJbf2QYloEXBpHLxuflRn9fa6n3tBRsRWQHO9htcTPZk71pWMflxF331HOtpTW6VD+6RsP4GSkWVmeA==[/tex]；(2)[tex=6.143x1.357]5Tp/bC0lJbf2QYloEXBpHLxuflRn9fa6n3tBRsRWQHOAKJFUBlectj56N0+ZKevT[/tex]。
- 用主析取范式判断两个公式是否等值设[tex=13.714x2.786]ihCrVwNA4mnzPvDLI3hfof+PWbwB7izV5rZxJ1BAeqmDLWToIKLY0a7ksb25awvZObXXJqFDbX0fVaua2R7RbtrxgM8FQ7SzfxYtDFhdSZ7ChcpB7SkvCqcsQYYCT/vcWqw48+/0Mqg0rQFhUDNYnw==[/tex]判断[tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex] $A 与[tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex]是否等值.
- 分别用等值演算法和真值表法，求下面命题公式的主析取范式及主合取范式，并判断其类型：[tex=4.571x1.357]tG6S+47SfMXz+RijhmcPIhtyXiKVlK1wCIKAw0IVeHA=[/tex]。
- 用主析取范式判断两个公式是否等值设 [tex=25.0x1.357]ACRn+nlN66FYDXRPVVGc5LVx8zpcY0PB0+Y/afS2ViOr//ISAQpC9A6wSvuF7P7ujnLpPEhsFbqKV65DgPNUFQkmgrY1BarFVlHFZYUOPwKTsKEtryZzRaCEUUH1+rjF23BGt5tG+/nzy0/AWm7mAw==[/tex]判断 [tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex]与 [tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex]是否等值.
- 分别用等值演算法和真值表法，求下面命题公式的主析取范式及主合取范式，并判断其类型：[tex=6.5x1.357]vPqP23m5DP5zMS0n4K4wlGTLHODf2eWneuWmxgQtEkd09kRm/roIPN82pxduGkno[/tex]。
内容
- 0
求下列命题公式的主合取范式和主析取范式, 并判断公式是否为重言式或矛盾式：[tex=8.786x1.357]pmT6qwEt9ckhUGjFQzJbGIlIlcyiYWoNZo3M6wQBNPaRJsR4ijlgARMIbu05YlotbBkqUA0FlnX3vMAKNtwxXA==[/tex]
- 1
求下列命题公式的主合取范式和主析取范式, 并判断公式是否为重言式或矛盾式：[tex=9.643x1.357]AoQ+By9WmjzLWbunaILjEIpgaxLFl/0CI5bDOARM6WdcOFbhDQxRW4JoiC0g9RZBURQaQqaWbsgAqHjm31RRfQ==[/tex]
- 2
求下面命题公式的析取范式与合取范式：[tex=3.929x1.357]Heey0q9yie2Y5yxdfYMSVgg+NFkhi0j5Cxq5x9ZbDw0=[/tex]。
- 3
求下列公式的主合取范式，再用主和取范式求主析取范式：[tex=4.286x1.357]0Ais5Y7hSfG3tcfX7mSTPDvu6EdDNwEke6C1h9vEhAY=[/tex]
- 4
求下面命题公式的主析取范式、主合取范式、成真赋值、成假赋值。[tex=7.071x1.357]/pqvC2YxPnD6SfCvBfOFiGT1PyB0Hy2S5Q6+0vqqEc7THOguyCYA5ZWZlF8JqJEt[/tex]