Jawab:

Untuk membuat tabel kebenaran pada pernyataan majemuk {[(a^~b) ⇒ (~c v b)] => ~a}, kita perlu membuat kolom untuk setiap variabel proposisi yang terlibat, serta kolom-kolom untuk setiap operasi logika yang digunakan. Berikut ini adalah tabel kebenarannya:

| a | b | c | ~b | a^~b | ~c v b | (a^~b)⇒(~c v b) | ~a | [(a^~b)⇒(~c v b)]=>~a |

|---|---|---|----|------|--------|------------------------|----|---------------------------|

| T | T | T |  F |  F   |   T    |            T           |  F |             T             |

| T | T | F |  F |  F   |   T    |            T           |  F |             T             |

| T | F | T |  T |  T   |   T    |            T           |  F |             T             |

| T | F | F |  T |  T   |   F    |            F           |  F |             T             |

| F | T | T |  F |  F   |   T    |            T           |  T |             F             |

| F | T | F |  F |  F   |   T    |            T           |  T |             F             |

| F | F | T |  T |  F   |   T    |            T           |  T |             F             |

| F | F | F |  T |  F   |   F    |            T           |  T |             F             |

Jenis pernyataan majemuk ini adalah implikasi (conditional statement), karena terdapat operator implikasi (⇒) di dalamnya. Pernyataan ini memiliki bentuk "jika A, maka B" yang dapat ditulis ulang sebagai "B jika A terpenuhi". Dalam tabel kebenaran di atas, kolom terakhir menunjukkan nilai kebenaran dari pernyataan majemuk tersebut.

Penjelasan dengan langkah-langkah: