Windows Linux Mac OS
Komputer Facebook Web Blog
Internet Multimedia
Windows Linux
Logika Informatika

web stats

Kamis, 26 November 2015

Tabel Kebenaran Strategi Pembalikan

Contoh Soal Strategi Pembalikan:

Harga gula turun jika impor gula naik. Pabrik gula tidak senang jika harga gula turun. Impor gula naik. Pabrik gula senang.

Konsistensi dapat dibuktikan dengan membuat pernyataan menjadi ekspresi logika dan dibuktikan melalui tabel kebenaran :

Langkah 1 :
mengubah kevariabel proposisional
A = harga gula turun.
B = impor gula naik.
C = pabrik gula senang.


Langkah 2 :
mengubah pernyataan menjadi ekspresi logika
A -> B
B -> -C
A
C

Langkah 3 :
menyusun ekspresi logika menjadi satu kesatuan

(A->B)^(B->-C)^A^C                 


Langkah 4 :
membuat tabel kebenaran

Karena kesatuan ekspresi logika bernilai F semua maka dapat dipastikan pernyataan tersebut tidak konsisten.

Tabel Kebenaran


0 komentar:

Posting Komentar

Powered By Blogger

SAHABAT SEPERJUANGAN

SAHABAT SEPERJUANGAN