Latihan soal

Latihan soal

1.Soal : A ↔ B ≡ (-A V B)  ∧ (-B v A)
Jawab : A↔B  ≡  (A ∧ -B) ∧ (B ∧ -A)
2.Soal : A➡ (-A➡B) ≡ 1
   Jawab : -A v (-A➡B) ≡ 1
                      -A v (A v B) ≡ 1
                       (-A v A) v B ≡ 1
                       B v B ≡ 1
3. Soal : (A v -B) ➡ C ≡ (-A ∧ B) V C
Jawab : ≡ (A V -B) ➡ C
               ≡  -(-A v - B) ➡ C
               ≡ -A ∧ B V C
               ≡ (-A V B) V C      
Jadi dapat disimpulkan bawah Ruas kanan terbukti
4. Soal : -A ➡ (B ➡C) ≡ (A ➡ B) ➡ B
Jawab : ≡ A v ( -B v C )
               ≡ A v -B v C
               ≡ -(-A ∧ B) v C
               ≡ (A ∧ -B) v C
5. Soal : A➡B ≡ -(-A v -B)
Jawab : A➡B ≡ -A v B
               ≡ -(A ∧ -B )
6. Soal : -(-(A ∧ B)vB) ≡ 0
Jawab : -(-(A ∧ B)vB)≡ -(-A v -B v -B)
               ≡ A  ∧ B  ∧ B
               ≡ A ∧ S
7. Soal : (P ➡ Q) ↔ [(P v -Q) ∧ (Q v -P)]
Jawab: P↔Q ≡ (-P ∧ Q) ∧ (-Q v Q) 
             ≡ -(-P v Q v (P v -Q)∧(Q v -P))