Diskusi 3 MSIM4103

SESI 3

Buatlah pohon semantik dan tentukan sifat yang mungkin dari kalimat berikut ini:

F: (not Q and (P if and only if (R or Q)))

Q true

Q False

2 3

F P True P False

4 5

R True R False R true R False

6 7 8 9

T F T F

Node 1 Akar

Node 2 (not Q and (P if only if(R or Q))) = F

Node 3 (not Q and (P if only if(R or Q)))

Node 4 (not Q and (P if only if(R or Q)))

Node 5 (not Q and (P if only if(R or Q)))

Node 6 (not Q and (P if only if(R or Q)))

Node 7 (not Q and (P if only if(R or Q))) = T

Node 8 (not Q and (P if only if(R or Q))) = F

Node 9 (not Q and (P if only if(R or Q))) = T

Sifat yang mungkin adalah satisfiable, Karena memiliki nilai true didalamnya