用主析取范式判断两个公式是否等值设 [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=13.714x2.786]ihCrVwNA4mnzPvDLI3hfof+PWbwB7izV5rZxJ1BAeqmDLWToIKLY0a7ksb25awvZObXXJqFDbX0fVaua2R7RbtrxgM8FQ7SzfxYtDFhdSZ7ChcpB7SkvCqcsQYYCT/vcWqw48+/0Mqg0rQFhUDNYnw==[/tex]判断[tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex] $A 与[tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex]是否等值.
- 设两个相互独立的事件 [tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex] 和 [tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex] 都不发生的概率为 1 / 9, [tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex] 发生[tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex] 不发生的概率与 [tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex] 发生 [tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex] 不发生的概率相等，则 [tex=3.0x1.357]PlWNHdSuVTfacbkTVT1WGw==[/tex][input=type:blank,size:6][/input].
- 设 [tex=2.0x1.214]vnzjVhyzo/NIhVUgFyjLlA==[/tex] 是任意两事件,其中 [tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex] 的概率不等于 0 和 1, 证明[p=align:center][tex=8.357x1.429]GJ5i+vQarUlGc9dBEHINxezc5NVjbiDYM3wHRtLave8=[/tex]是事件 [tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex] 与 [tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex] 独立的充分必要条件.
- 设事件 [tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex] 和 [tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex] 互不相容, 且 [tex=8.786x1.357]1A7WHGcU5mWBGzLoAYLD+KtEa2iCYBKvWlFt0IZxoOI=[/tex] ，求以下事件的概率:(1) [tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex] 与 [tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex] 中至少有一个发生;(2) [tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex] 和 [tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex] 都发生;(3) [tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex] 发生但 [tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex] 不发生.
- 利用主范式判断下列两个命题公式是否等值:(1)[tex=9.143x1.357]5Tp/bC0lJbf2QYloEXBpHLxuflRn9fa6n3tBRsRWQHO9htcTPZk71pWMflxF331HOtpTW6VD+6RsP4GSkWVmeA==[/tex]；(2)[tex=6.143x1.357]5Tp/bC0lJbf2QYloEXBpHLxuflRn9fa6n3tBRsRWQHOAKJFUBlectj56N0+ZKevT[/tex]。