Question

In: Computer Science

Using logical equivalence laws, show that (((p v ~ q) ⊕ p) v ~p) ⊕ (p...

Using logical equivalence laws, show that (((p v ~ q) ⊕ p) v ~p) ⊕ (p v ~q) is equivalent to p v q. v = or, ~ = not, ⊕ = exclusive or (XOR). Please show the steps with the name of the law beside each step, thanks so much!

Solutions

Expert Solution


[this is because from the definition of XOR we have ]


[this is because ]


[this is because ]


[this is because ]


[this is because ]


[this is because from the definition of XOR we have ]


[this is because ]


[this is because ]


[this is using the DeMorgan's Law ]


[this is obtained just by changing the parentheses]


[this is because ]


[this is because ]


[this is because ]


[this is from DeMorgan's Law ]

Proved


Related Solutions

prove or disprove using logical equivalences (a) p ∧ (q → r) ⇐⇒ (p → q)...
prove or disprove using logical equivalences (a) p ∧ (q → r) ⇐⇒ (p → q) → r (b) x ∧ (¬y ↔ z) ⇐⇒ ((x → y) ∨ ¬z) → (x ∧ ¬(y → z)) (c) (x ∨ y ∨ ¬z) ∧ (¬x ∨ y ∨ z) ⇐⇒ ¬y → (x ↔ z)
Prove that (((p v ~q) ⊕ p) v ~p) ⊕ (p v ~q) ⊕ (p ⊕...
Prove that (((p v ~q) ⊕ p) v ~p) ⊕ (p v ~q) ⊕ (p ⊕ q) is equivalent to p ^ q. Please show your work and name all the logical equivalence laws for each step. ( v = or, ~ = not, ⊕ = XOR) Thank you
Using the inner product on 〈p, q〉 = ∫(0 to1)  p(x)q(x)dx on P2, write v as the...
Using the inner product on 〈p, q〉 = ∫(0 to1)  p(x)q(x)dx on P2, write v as the sum of a vector in U and a vector in U⊥, where v=x^2, U =span{x+1,9x−5}.
Using the relationship for internal pressure πT = T (∂P/∂T)V – P, show that for a...
Using the relationship for internal pressure πT = T (∂P/∂T)V – P, show that for a gas that obeys a truncated virial equation of state: Z = PVm/RT = 1 + B(T)/Vm, the internal pressure may be approximated as πT ≈ RT2(Vm)-2∙(ΔB/ΔT). Estimate the internal pressure at 1.0 bar and also at 10.0 bar for a hypothetical real gas at 275K given that B(T) = -28.0 cm3⋅mol-1 at 250K and -15.6 cm3⋅mol-1 at 300K for this gas.
1. Show that the argument (a) p → q       q → p       therefore p...
1. Show that the argument (a) p → q       q → p       therefore p V q       is invalid using the truth table. ( 6 marks ) (b) p → q       P       therefore p        is invalid using the truth table. ( 6 marks ) (c) p → q       q → r        therefore p → r         is invalid using the truth table. ( 8 marks )
Let p and q be propositions. (i) Show (p →q) ≡ (p ∧ ¬q) →F (ii.)...
Let p and q be propositions. (i) Show (p →q) ≡ (p ∧ ¬q) →F (ii.) Why does this equivalency allow us to use the proof by contradiction technique?
Show that if P;Q are projections such that R(P) = R(Q) and N(P) = N(Q), then...
Show that if P;Q are projections such that R(P) = R(Q) and N(P) = N(Q), then P = Q.
Prove the validity using laws of propositional logic and rules of inference: ∀x(P(x) → (Q(x) ∧...
Prove the validity using laws of propositional logic and rules of inference: ∀x(P(x) → (Q(x) ∧ S(x))) ∃x(P(x) ∧ R(x)) − − − − − − − − − − − − − ∴ ∃x(R(x) ∧ S(x))
Convert the logical statement ~(P || ~R) || (Q -> R) to conjunctive normal form. Please...
Convert the logical statement ~(P || ~R) || (Q -> R) to conjunctive normal form. Please explain the steps!!
Let T∈ L(V), and let p ∈ P(F) be a polynomial. Show that if p(λ) is...
Let T∈ L(V), and let p ∈ P(F) be a polynomial. Show that if p(λ) is an eigenvalue of p(T), then λ is an eigenvalue of T. Under the additional assumption that V is a complex vector space, and conclude that {μ | λ an eigenvalue of p(T)} = {p(λ) | λan eigenvalue of T}.
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT