a. (p->q) ^ ~q

Pernyataan ini terdiri dari dua bagian, yaitu (p -> q) dan ~q, yang dihubungkan oleh operator logika ^ (and).

- Jika p = true dan q = true, maka (p -> q) akan bernilai true dan ~q akan bernilai false. Dalam hal ini, keseluruhan pernyataan akan bernilai false karena (true ^ false) = false.

- Jika p = true dan q = false, maka (p -> q) akan bernilai false dan ~q akan bernilai true. Dalam hal ini, keseluruhan pernyataan akan bernilai true karena (false ^ true) = false.

- Jika p = false dan q = true, maka (p -> q) akan bernilai true dan ~q akan bernilai false. Dalam hal ini, keseluruhan pernyataan akan bernilai false karena (true ^ false) = false.

- Jika p = false dan q = false, maka (p -> q) akan bernilai true dan ~q akan bernilai true. Dalam hal ini, keseluruhan pernyataan akan bernilai false karena (true ^ true) = true.

Sehingga nilai kebenaran pernyataan a adalah: false.

b. (p v q) -> (q^~p)

Pernyataan ini terdiri dari dua bagian, yaitu (p v q) dan (q^~p), yang dihubungkan oleh operator logika -> (implies).

- Jika p = true dan q = true, maka (p v q) akan bernilai true dan (q^~p) akan bernilai false. Dalam hal ini, keseluruhan pernyataan akan bernilai false karena (true -> false) = false.

- Jika p = true dan q = false, maka (p v q) akan bernilai true dan (q^~p) akan bernilai false. Dalam hal ini, keseluruhan pernyataan akan bernilai false karena (false -> false) = true.

- Jika p = false dan q = true, maka (p v q) akan bernilai true dan (q^~p) akan bernilai true. Dalam hal ini, keseluruhan pernyataan akan bernilai true karena (true -> true) = true.

- Jika p = false dan q = false, maka (p v q) akan bernilai false dan (q^~p) akan bernilai false. Dalam hal ini, keseluruhan pernyataan akan bernilai true karena (true -> false) = true.

Sehingga nilai kebenaran pernyataan b adalah: true.