P. 1
Modul 3 Tabel Kebenaran

Modul 3 Tabel Kebenaran

|Views: 459|Likes:
Dipublikasikan oleh Fika Sa'adah

More info:

Published by: Fika Sa'adah on Jul 11, 2012
Hak Cipta:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOC, PDF, TXT or read online from Scribd
See more
See less

10/15/2014

pdf

text

original

Praktikum Logika Matematika

Tabel Kebenaran

MODUL III TABEL KEBENARAN
A. Tujuan 1. Mahasiswa memahami operasi-operasi logika 2. Mahasiswa memahami nilai-nilai kebenaran operasi logika dengan menggunakan fungsi tabel kebenaran pada Maple. 3. Mahasiswa mampu menggunakan fungsi-fungsi yang disediakan Maple, untuk menyelesaikan masalah-masalah yang berkaitan dengan logika Boolean. B. Alat dan 1. 2. 3. C. Materi 1. Bahan Perangkat Komputer Maple 9.5 Modul Praktikum Logika Matematika

Tabel Kebenaran

Tabel Kebenaran Dengan melibatkan beberapa perangkai logika sebelumnya, maka beberapa proposisi dapat digabungkan menjadi satu proposisi. Setiap proposisi baik atomik ataupun majemuk, harus memiliki nilai, True/Benar atau False/Salah. Alat yang digunakan untuk memberikan nilai dengan aturan tertentu dinyatakan pada Tabel Kebenaran (Truth Table). Tabel kebenaran menunjukkan secara sistematis satu demi satu nilai-nilai kebenaran sebagai hasil kombinasi dari proposisi-proposisi yang sederhana. Untuk melengkapi tabel kebenaran pernyataan, kita harus mengetahui dulu berapa banyak pernyataan yang termuat yang berlainan dalam tabel itu. Langkah ini mutlak diperlukan agar tidak ada kemungkinan komposisi nilai kebenaran yang mungkin tak tertuliskan. Sebagai contoh, jika kita mempunyai dua pernyataan yang berlainan, maka kemungkinannya adalah : (1) Pernyataan pertama benar, pernyataan kedua benar (2) Pernyataan pertama benar, pernyataan kedua salah (3) Pernyataan pertama salah, pernyataan kedua benar (4) Pernyataan pertama salah, pernyataan kedua salah Dalam bentuk tabel kebenaran, keempat komposisi tersebut dapat terlihat di bawah ini : Tabel ini terdiri dari dua pernyataan tunggal yang A B berbeda, yakni A dan B. Nilai kebenaran kedua T T pernyataan tersebut dinyatakan dengan huruf T jika T F F T Laboratorium Komputasi Dasar F F Teknik Informatika Fakultas Teknologi Industri 19

disjungsi. Dengan mengingat akan definisi operasi konjungsi. Contoh : A V B > with(Logic). maka kita dapat membuat tabel kebenaran pernyataan sebagai hasil dari operasioperasi tersebut. Praktikum Nilai kebenaran dapat diketahui dengan menggunakan fungsi TruthTable pada Maple. berturut-turut sebagai berikut : A B A Λ B A V B A  B A ↔ B ¬A T T F F T F T F T F F F T T T F T F T T T F F T F F T T Contoh : Jika sebuah benda merupakan bom maka benda tersebut pasti membahayakan Dapat diubah ke dalam ekspresi logika berikut : A  B Nilai-nilai kebenaran dari proposisi tersebut adalah : A T T F F B T F T F A B T F T T Contoh : Nyatakan nilai kebenaran untuk ekspresi logika berikut : A Λ (B Λ C) A T T T T F F F F B T T F F T T F F C T F T F T F T F BΛC T F F F T F F F A Λ (B Λ C) T F F F F F F F D. Laboratorium Komputasi Dasar Teknik Informatika Fakultas Teknologi Industri 20 . implikasi dan biimplikasi antara pernyataan A dan B.Praktikum Logika Matematika Tabel Kebenaran True/Benar dan F jika False/Salah.

D]). Environment Equal EquivalentExport Implies Import. ) . false = true. . false false = false . (true. . (true. Normalize Random Satisfy Tautology . ) . (true.C. (false true. ) . false false false = false (false false false true) = false (false true. . true.B]). false) = true. . true.[A. true) = true.true]. (true. ) . (true. . (false false true. . (true. . . ) . . (false false false false = false (false true.true. CanonicalizeContradictionDual. true) = false . true. true. . true > T1[true. .[A. true. . (Kerjakan dengan Maple) Jika A. C dan D adalah pernyataanpernyataan yang benar. Tugas dan Lembar Kerja Modul III I. false E. false true) = true. . ) > T1[true. true. maka ekspresi logika yang benar di bawah ini adalah : 21 Laboratorium Komputasi Dasar Teknik Informatika Fakultas Teknologi Industri .false]. false true) = true. &iff &implies &nand &nor. . false = true]) . T1 := table [(false true) = true. (false false = false (true. ) . B bernilai True. false = false . . . true) = true. false true. ) . true > T1[false. (false false true.false]. . false Contoh : Ekspresi Logika berikut : (A V B) Λ (C V D) Bila A bernilai True. . maka nilai kebenaran dari ekspresi logika tersebut dapat dinyatakan dengan Maple. true) = true. &not.true]. . .Praktikum Logika Matematika Tabel Kebenaran [&and.B. &or.false]. . . . . ) > T2[true. false. (true. yaitu : > T2:=TruthTable((A &or B) &and (C &or D). true. C bernilai False dan D bernilai False. . false true) = true. T2 := table (true. . . BooleanSimplify . true > T1[false. true. true) = true. false = true]) ( . false true. false false = false. B. (true. . . . . ([ . (false true. TruthTable ] > T1:=TruthTable(A &or B. &xor. .false.

maka pernyataan majemuk berikut yang salah adalah : a. (~P V Q) ↔ (~R Λ S) Laboratorium Komputasi Dasar Teknik Informatika Fakultas Teknologi Industri 22 . (R  P) ↔ (S  Q) c. c. (~S V Q) ↔ (~R V P) d. b. (Kerjakan dengan Maple) Jika P dan Q adalah pernyataan-pernyataan yang benar. (A V ~B) Λ ~A (A Λ ~B) V C (A V ~B) Λ (~C V ~D) (~A Λ B) V (B Λ ~A) Tabel Kebenaran …………………………………………………………………………………………… …………………………………………………………………………………………… …………………………………………………………………………………………… …………………………………………………………………………………………… …………………………………………………………………………………………… …………………………………………………………………………………………… …………………………………………………………………………………………… …………………………………………………………………………………………… …………………………………………………………………………………………… …………………………………………………………………………………………… …………………………………………………………………………………………… II.Praktikum Logika Matematika a. sedangkan R dan S adalah pernyataan yang salah. (P  R) ↔ (Q  S) b. d.

Buktikan kebenaran bagian c. Ubah ke dalam ekspresi maple c. Bila terdapat pernyataan berikut : Jika seseorang ingin wawasannya luas. Ubah ke dalam ekspresi logika b.Praktikum Logika Matematika Tabel Kebenaran …………………………………………………………………………………………… …………………………………………………………………………………………… …………………………………………………………………………………………… …………………………………………………………………………………………… …………………………………………………………………………………………… …………………………………………………………………………………………… …………………………………………………………………………………………… …………………………………………………………………………………………… …………………………………………………………………………………………… …………………………………………………………………………………………… …………………………………………………………………………………………… …………………………………………………………………………………………… …………………………………………………………………………………………… III. a. Nyatakan nilai-nilai kebenaran dari ekspresi tersebut dengan tabel d. dengan perintah maple Laboratorium Komputasi Dasar Teknik Informatika Fakultas Teknologi Industri 23 . maka ia harus rajin membaca dan ia juga harus sering bertukar pikiran dengan orang lain.

Praktikum Logika Matematika Tabel Kebenaran ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… Nilai Paraf Dosen / Asisten Laboratorium Komputasi Dasar Teknik Informatika Fakultas Teknologi Industri 24 .

You're Reading a Free Preview

Mengunduh
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->