Pernyataan (~ PVQ)^ (PV ~Q) ekivalen dengan pernyataan.....

Pernyataan $(~P \lor Q) \land (P \lor ~Q)$ ekivalen dengan $P o Q$.

Pembahasan

Kita perlu menentukan pernyataan mana yang ekuivalen dengan $(~P \lor Q) \land (P \lor ~Q)$.
Kita bisa menggunakan tabel kebenaran untuk menentukan ekuivalensinya:

| P | Q | ~P | ~Q | ~P V Q | P V ~Q | (~P V Q) ^ (P V ~Q) | P => Q | P => ~Q | ~P => Q | ~P => ~Q | P <=> Q |
|---|---|----|----|--------|--------|-----------------------|--------|---------|---------|---------|---------|
| T | T | F  | F  | T      | F      | F                     | T      | F       | T       | T       | T       |
| T | F | F  | T  | F      | T      | F                     | F      | T       | T       | F       | F       |
| F | T | T  | F  | T      | T      | T                     | T      | T       | T       | T       | F       |
| F | F | T  | T  | T      | T      | T                     | T      | T       | F       | T       | T       |

Dari tabel kebenaran, kita dapat melihat bahwa kolom $(~P \lor Q) \land (P \lor ~Q)$ sama dengan kolom $P 	o Q$ (P => Q).

Oleh karena itu, pernyataan $(~P \lor Q) \land (P \lor ~Q)$ ekivalen dengan $P 	o Q$.