通过求主析取范式判断下面命题公式是否等值:[tex=2.071x1.214]0ChGGUTPiQE2FAruJVT/LQ==[/tex];[tex=2.071x1.214]vV5XP+CRmbDUGTiYqjNqnw==[/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]。