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 from the definition of XOR we have ]

[this is because ]

[this is using the DeMorgan's Law ]

[this is obtained just by changing the parentheses]

[this is because ]

[this is from DeMorgan's Law ]

Proved

venereology answered 10 months ago

Next > < Previous

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}.

Subjects