a) A ˅ B ≡ B ˅ A

A B A˅B B˅A
T T T T
T F T T
F T T T
F F F F
Di tautologikan

A˅B B˅A A˅B↔B˅A

T T T
T T T
T T T
F F T
Jadi, terbukti A ˅ B ekuivalen secara logis dengan B ˅ A (Comutativity).

b) A ↔ B ≡ B ↔ A
A B A↔B B↔A
T T T T
T F F F
F T F F
F F T T
Di tautologikan

A↔B B↔A A↔B↔B↔A

T T T
F F T
F F T
T T T
Jadi, terbukti A ↔ B ekuivalen secara logis dengan B ↔ A (Komutatif).

c) (A v B) v C ≡ A v (B v C)
A B C (A v B) (B v C) (A v B) v C A v (B v C)
T T T T T T T
T T F T T T T
T F T T T T T
T F F T F T T
F T T T T T T
F T F T T T T
F F T F T T T
F F F F F F F
Di tautologikan

(A v B) v C A v (B v C) (A v B) v C ↔ A v (B v C)
T T T
T T T
T T T
T T T
T T T
T T T
T T T
F F T
Jadi, terbukti (A v B) v C ekuivalen secara logis dengan A v (B v C) (Assosiativity).

d) (A ↔ B) ↔ C ≡ A ↔ (B ↔ C)
A B C (A ↔ B) (B ↔ C) (A ↔ B) ↔ C A ↔ (B ↔ C)
T T T T T T T
T T F T F F F
T F T F F F F
T F F F T T T
F T T F T F F
F T F F F T T
F F T T F T T
F F F T T F F
Di tautologikan

(A ↔ B) ↔ C A ↔ (B ↔ C) ((A ↔ B) ↔ C) ↔ (A ↔ (B ↔ C))
T T T
F F T
F F T
T T T
F F T
T T T
T T T
F F T
Jadi, terbukti (A ↔ B) ↔ C ekuivalen secara logis dengan A ↔ (B ↔ C).

e) ¬A↔B ≡ (¬A v B) ʌ (¬B v A)

A B ¬A ¬B ¬A ↔ B (¬A v B) (¬B v A) (¬A v B) ʌ (¬B v A)
T T F F F T T T
T F F T T F T F
F T T F T T F F
F F T T F T T T
Jadi, ¬A↔B tidak terbukti ekuivalen secara logis dengan (¬A v B) ʌ (¬B v A).

f) A → (¬A → B) ≡ 1
A B ¬A (¬A → B) A → (¬A → B) 1
1 1 0 1 1 1
1 0 0 1 1 1
0 1 1 0 1 1
0 0 1 0 1 1
Di tautologikan

A → (¬A → B) 1 A → (¬A → B) ↔ 1
1 1 1
1 1 1
1 1 1
1 1 1
Jadi, A → (¬A → B) terbukti ekuivalen secara logis dengan 1.

g) ¬ (¬ (A ʌ B) v B) ≡ 0
A B (A ʌ B) ¬(A ʌ B) ¬ (A ʌ B) v B ¬ (¬ (A ʌ B) v B) 0
1 1 1 0 1 0 0
1 0 0 1 1 0 0
0 1 0 1 1 0 0
0 0 0 1 1 0 0
 Di tautologikan

¬ (¬ (A ʌ B) v B) 0 ¬ (¬ (A ʌ B) v B) ↔ 0
0 0 0
0 0 0
0 0 0
0 0 0
Jadi, ¬ (¬ (A ʌ B) v B) terbukti ekuivalen secara logis dengan 0.

h) (A → B) → C ≡ A → (B → C)
A B C (A → B) (B → C) (A → B) → C A → (B → C)
T T T T T T T
T T F T F F F
T F T F T T T
T F F F T T T
F T T T T T T
F T F T F F T
F F T T T T T
F F F T T F T
Jadi, (A → B) → C tidak terbukti ekuivalensi secara logis dengan A → (B → C).

i) ¬ (¬A v B) ↔ B ≡ (¬B v A) ↔ A
A B ¬A ¬B (¬A v B) ¬ (¬A v B) (¬B v A) ¬ (¬A v B) ↔ B (¬B v A) ↔ A
T T F F T F T F T
T F F T F T T F T
F T T F T F F F T
F F T T T F T T F
Jadi, ¬ (¬A v B) ↔ B tidak terbukti ekuivalensi secara logis dengan (¬B v A) ↔ A.

j) (¬A v B) v C ≡ ¬ (A ʌ B) v C
A B C ¬A (¬A v B) (A ʌ B) ¬ (A ʌ B) (¬A v B) v C ¬ (A ʌ B) v C
T T T F T T F T T
T T F F T T F T F
T F T F F F T T T
T F F F F F T F T
F T T T T F T T T
F T F T T F T T T
F F T T T F T T T
F F F T T F T T T
Jadi, (¬A v B) v C tidak terbukti ekuivalensi secara logis dengan ¬ (A ʌ B) v C.