Logic trnd arnd

Question 1

φ ∧ ψ ≡ ψ ∧ φ
φ ∨ ψ ≡ ψ ∨ φ

Answer 1

commutativity

Question 2

φ ∧ φ ≡ φ
φ ∨ φ ≡ φ

Answer 2

idempotence

Question 3

(φ ∧ ψ) ∧ χ ≡ φ ∧ (ψ ∧ χ)
(φ ∨ ψ) ∨ χ ≡ φ ∨ (ψ ∨ χ)

Answer 3

associativity

Question 4

¬(φ ∧ ψ) ≡ ¬φ ∨ ¬ψ
¬(φ ∨ ψ) ≡ ¬φ ∧ ¬ψ

Answer 4

De Morgan

Question 5

¬¬φ ≡ φ
φ → ψ ≡ ¬φ ∨ ψ

Answer 5

involution

Question 6

(φ ∧ ψ) ∨ χ ≡ (φ ∨ χ) ∧ (ψ ∨ χ)

Answer 6

distributivity