Buatlah tabel kebenaran untuk pernyataan majemuk berikut.a.

Tabel kebenaran untuk (pvq)=>(~p^q) dan ~(p=>q)<=>(p^~q) telah dibuat.

Pembahasan

Tabel kebenaran untuk pernyataan majemuk:

a. (pvq)=>(~p^q)

| p | q | pvq | ~p | ~p^q | (pvq)=>(~p^q) |
|---|---|-----|----|------|------------------|
| T | T | T   | F  | F    | F                |
| T | F | T   | F  | F    | F                |
| F | T | T   | T  | T    | T                |
| F | F | F   | T  | F    | T                |

b. ~(p=>q)<=>(p^~q)

| p | q | p=>q | ~(p=>q) | ~q | p^~q | ~(p=>q)<=>(p^~q) |
|---|---|------|---------|----|------|--------------------|
| T | T | T    | F       | F  | F    | T                  |
| T | F | F    | T       | T  | T    | T                  |
| F | T | T    | F       | F  | F    | T                  |
| F | F | T    | F       | T  | F    | T                  |