Nama : Tuti Damai Yanti Siska Waruwu

NIM : 231011400687

Kelas : 01TPLE012 Ruang : V.310

Fakultas/ Jurusan : Teknik Informatika

UTS Mata Kuliah : Logika Informatika

Dosen Pengampu : Joko Suwarno, M.Kom

1. P : Wanita itu penyayang binatang

Q : Wanita itu pelihara kucing

Nyatakan dalam bentuk kalimat konjungsi dan disjungsi:

a. P^Q
b. P^~Q
c. ~P ^ ~ Q
d. ~(~P v ~Q )
e. P v ( ~P ^ Q )
f. ~(~P^Q)

Jawab:

a. Wanita itu penyayang binatang dan wanita itu pelihara kucing.

b. Wanita itu penyayang binatang dan wanita itu tidak pelihara kucing.
c. Wanita itu bukan penyayang binatang dan wanita itu tidak pelihara kucing.
d. Wanita itu penyayang binatang dan wanita itu pelihara kucing.
e. Wanita itu penyayang binatang atau (bukan penyayang binatang dan wanita itu pelihara kucing).
f. Bukan (bukan penyayang binatang dan wanita itu pelihara kucing).

2. Buatlah tabel kebenaran dari soal no 1!

Jawab:

P Q ~Q P^Q P^~Q ~P^~Q ~(~Pv~Q) Pv(~P^Q) ~(~P^Q)

B B S B S S B B S
B S B S B S B B B
S B S S S S B S B
S S B S S B S S B

Keterangan:
 P = Wanita itu penyayang Binatang.
  Q = Wanita itu pelihara kucing.
3. Nyatakan dalam bentuk simbolik implikasi dan biimplikasi dari no 1:
a. Jika wanita itu bukan penyayang binatang maka wanita itu pelihara kucing
b. Wanita itu penyayang binatang jika dan hanya jika tidak benar wanita itu tidak pelihara kucing
c. Tidak benar jika wanita itu penyayang binatang atau tidak pelihara kucing

Jawab:

a. ~P → Q
b. P ↔ ~Q
c. ~ (P ∨ ~Q)

4. Buatlah tabel kebenaran dari soal no 3!

Jawab:

P Q ~P ~P → Q P ↔ ~Q ~ (P ∨ ~Q)

B B S B S S
B S S S B S
S B B B B B
S S B B S B

Keterangan:
 P = Wanita itu penyayang Binatang.
 Q = Wanita itu pelihara kucing

5. Lengkapi tabel kebenaran dibawah ini:

P Q ~P ~Q Q → ~P ~(~P → ~Q) ~Q → ~P

Jawab:

P Q ~P ~Q Q → ~P ~(~P → ~Q) ~Q → ~P
B B S S S B B
B S S B B S S
S B B S S B B
S S B B B S B