Given there are 3 logical variables p, q and r. Show that (p v q) ^ (~p v r) and (~p ^ q) v (p ^r) are logically equivalent without using the truth table.Given there are 3 logical variables p, q and r.
阅读背景：
不使用真值表证明逻辑等价性
来源：互联网
分享到：
