MATEMATIKA DISKRIT

JT1301021
Modul Praktek [9]

Kelompok/Kelas : 6 / TK2B
1. Melky Pabangke (19620049)
2. M.Muliansyah (19620038)
3. Rahmad Fadlan (19620052)
4. Novel Harianto B (19620053)

Jurusan Teknologi Informasi

Politeknik Negeri Samarinda
2020
9. LOGIKA PROPOSISI

9.1 IDENTITAS
Kajian
Dasar Logika

Pokok Bahasan
Pokok bahasan yang dievaluasi kinerja dalam bentuk tugas praktek/praktikum dapat terdiri dari satu atau lebih pokok
bahasan/sub pokok bahasan dari SAP.
1. Kesetaraan Logika
2. Aljabar Proposisi

Metode/Cara Penyelesaian Tugas

Petunjuk tentang teori/teknik/alat yang digunakan, alternative langkah-langkah, sumber data/buku acuanyang
disarankan dan ketentuan pengerjaan lain.
1. Tugas dikerjakan secara perkelompok
2. Gunakan buku referensi atau workbook.

Luaran Tugas
Uraian tentang bentuk hasil studi/kinerja yang harus ditunjukkan/disajikan
1. Menentukan kesetaraan logika dari proposisi dengan tabel kebenaran
2. Menentukan kesetaraan logika dari proposisi dengan aljabar proposisi

Parameter Penilaian
Butir-butir indikator yang dapay menunjukkan tingkat keberhasilan mahasiswa dalam usaha mencapai kompetensi.
1. Ketepatan jawaban
2. Ketepatan Waktu Pengumpulan Tugas
3. Kerapihan pengerjaan tugas
9.2 STUDI KASUS/PENUGASAN
1. Apakah kedua pernyataan berikut setara?
a. Sistem bilangan biner tidak digunakan dalam sistem digital atau tidak benar bahwa
aljabar boole adalah matematika dasar untuk desain logika.
b. Tidak benar, sistem bilangan biner digunakan dalam sistem digital dan aljabar boole
adalah matematika dasar untuk desain logika.

P q ~p ~q Pᴧq ~( p ᴧ q) ~p V ~q
+ + – – + – –
+ – – – – + +
– + + – – + +
– – + + – + +

Iya Setara,karena memiliki nilai kebenaran yang sama.

2. Buktikan kesetaraan logika proposisi gabungan berikut dengan menggunakan aljabar

proposisi :

a. ( p⋀ q)⋁( p⋀q) p

(p ⋀ ~q ) ⋁ ( p ⋀ q) = p
 (p ⋀ ~q ) ⋁ ( p ⋀ q) Hukum Idempotent
 P ⋀ (~q V q ) Hukum Distributif
 P⋀T Hukum Negasi
 p Hukum identitas
Benar setara.
 b. p ∨( p ∧ q )∨ q p ∨ q

Hukum De Morgan
P ∨ (p ∧ ~q) ∨ ~q = p ∨ ~q
Hukum Distributif
 (p V p) ∧ (p V ~q) V ~q
Hukum Idempotent
 p ∧ (p V ~q) V ~q
Hukum Distributif
 (p ∧ p) V (p ∧ ~q) V ~q
 (p V p) V ~q Hukum Idempotent
 P V ~q Hukum Identitas
setara

9.3UMPAN BALIK
Tuliskan kesimpulan yang dapat mahasiswa ambil dari praktek yang sudah dilakukan.

Kesimpulan yang saya dapat dari aljabar proposisi adalah dapat menyederhanakan pernyataan
gabungan