Perhatikan tabel di bawah ini. p q (p ^ ~ q) => ~ p B B ...

B, S, B, B

Pembahasan

Untuk menentukan nilai kebenaran dari pernyataan majemuk (p ^ ~ q) => ~ p, kita perlu membuat tabel kebenaran berdasarkan nilai kebenaran p dan q.

Langkah-langkahnya adalah sebagai berikut:
1. Tentukan semua kemungkinan kombinasi nilai kebenaran untuk p dan q.
2. Cari nilai kebenaran untuk ~ q.
3. Cari nilai kebenaran untuk (p ^ ~ q).
4. Cari nilai kebenaran untuk ~ p.
5. Tentukan nilai kebenaran untuk implikasi (p ^ ~ q) => ~ p.

Mari kita buat tabel kebenarannya:

p | q | ~ q | p ^ ~ q | ~ p | (p ^ ~ q) => ~ p
--|---|-----|---------|-----|--------------------
B | B | S   | S       | S   | B
B | S | B   | B       | S   | S
S | S | B   | S       | B   | B
S | B | S   | S       | B   | B

Penjelasan setiap baris:
1. p=B, q=B: ~q=S, p^~q=S, ~p=S. S => S adalah B.
2. p=B, q=S: ~q=B, p^~q=B, ~p=S. B => S adalah S.
3. p=S, q=S: ~q=B, p^~q=S, ~p=B. S => B adalah B.
4. p=S, q=B: ~q=S, p^~q=S, ~p=B. S => B adalah B.

Jadi, nilai kebenaran dari pernyataan majemuk (p ^ ~ q) => ~ p adalah B, S, B, B.