Proof of p^(qvr) <=> (p^q)v(p^r)
Have something to add?
 Similar Discussions: Proof of p^(qvr) <=> (p^q)v(p^r)

If P, then Q (Replies: 6)

P V Q is not a Horn Clause (Replies: 4)

Equivalence of (P > R) V (Q > R) and (P ∧ Q) > R (Replies: 3)

P=>q, q=>r, then p=>r (proof assumes p why?) (Replies: 2)

Missing step in standard proof of P(N)=R (Replies: 2)
Loading...