Advertisements
Advertisements
Using the truth table prove the following logical equivalence.
p ↔ q ≡ ∼ [(p ∨ q) ∧ ∼ (p ∧ q)]
Concept: undefined >> undefined
Using the truth table prove the following logical equivalence.
p → (q → p) ≡ ∼ p → (p → q)
Concept: undefined >> undefined
Advertisements
Using the truth table prove the following logical equivalence.
(p ∨ q) → r ≡ (p → r) ∧ (q → r)
Concept: undefined >> undefined
Using the truth table prove the following logical equivalence.
p → (q ∧ r) ≡ (p → q) ∧ (p → r)
Concept: undefined >> undefined
Using the truth table, prove the following logical equivalence.
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
Concept: undefined >> undefined
Using the truth table prove the following logical equivalence.
p → (q ∧ r) ≡ (p ∧ q) (p → r)
Concept: undefined >> undefined
Using the truth table prove the following logical equivalence.
[∼ (p ∨ q) ∨ (p ∨ q)] ∧ r ≡ r
Concept: undefined >> undefined
Using the truth table proves the following logical equivalence.
∼ (p ↔ q) ≡ (p ∧ ∼ q) ∨ (q ∧ ∼ p)
Concept: undefined >> undefined
Examine whether the following statement pattern is a tautology or a contradiction or a contingency.
(p ∧ q) → (q ∨ p)
Concept: undefined >> undefined
Examine whether the following statement pattern is a tautology or a contradiction or a contingency.
(p → q) ↔ (∼ p ∨ q)
Concept: undefined >> undefined
Examine whether the following statement pattern is a tautology or a contradiction or a contingency.
[(p → q) ∧ ∼ q] → ∼ p
Concept: undefined >> undefined
Examine whether the following statement pattern is a tautology or a contradiction or a contingency.
(p ↔ q) ∧ (p → ∼ q)
Concept: undefined >> undefined
Examine whether the following statement pattern is a tautology or a contradiction or a contingency.
∼ (∼ q ∧ p) ∧ q
Concept: undefined >> undefined
Examine whether the following statement pattern is a tautology or a contradiction or a contingency.
(p ∧ ∼ q) ↔ (p → q)
Concept: undefined >> undefined
Examine whether the following statement pattern is a tautology or a contradiction or a contingency.
(∼ p → q) ∧ (p ∧ r)
Concept: undefined >> undefined
Examine whether the following statement pattern is a tautology or a contradiction or a contingency.
[p → (∼ q ∨ r)] ↔ ∼ [p → (q → r)]
Concept: undefined >> undefined
(p ∧ q) → r is logically equivalent to ________.
Concept: undefined >> undefined
Inverse of statement pattern (p ∨ q) → (p ∧ q) is ________ .
Concept: undefined >> undefined
Determine whether the following statement pattern is a tautology, contradiction, or contingency:
[(p ∨ q) ∧ ∼p] ∧ ∼q
Concept: undefined >> undefined
Determine whether the following statement pattern is a tautology, contradiction, or contingency:
(p → q) ∧ (p ∧ ∼q)
Concept: undefined >> undefined
