Forum Sains Indonesia

Ilmu Alam => Matematika => Topik dimulai oleh: tita pada November 21, 2016, 10:10:01 AM

Judul: logika matematika-BENTUK NORMAL
Ditulis oleh: tita pada November 21, 2016, 10:10:01 AM
Mohon bantuan bapak/Ibu?
saya sedang kesulitan merubah ekspresi logika berikut ke bentuk normal DNF.
(pᴧ (⌐q <=> r) → r
Mohon Pak Bu bantuannya
Terima kasih
Semoga Tuhan yg membalas kebaikan dan ilmu anda
Judul: Re:logika matematika-BENTUK NORMAL
Ditulis oleh: reborn pada November 21, 2016, 12:33:40 PM
Pake tabel kebenaran harusnya bisa. kesulitannya di mana?


edit :

lah ini pertanyaannya sama persis dengan contoh soal di sini di halaman terakhir.

[pranala luar disembunyikan, sila masuk atau daftar.]

coba diliat di situ



Judul: Re:logika matematika-BENTUK NORMAL
Ditulis oleh: reborn pada November 21, 2016, 12:41:39 PM
kalo butuh, ini contekan tabel kebenarannya

(http://image.slidesharecdn.com/bab-3logikamatematika-120126225605-phpapp02/95/bab-3-logika-matematika-5-728.jpg)
Judul: Re:logika matematika-BENTUK NORMAL
Ditulis oleh: tita pada November 21, 2016, 12:58:08 PM
iya pak dosen tp jawabnya harus menggunakan hukum aljabar proposisi bukan dengan tabel kebenaran...
Judul: Re:logika matematika-BENTUK NORMAL
Ditulis oleh: reborn pada November 21, 2016, 01:48:42 PM
Oh kalo gitu coba selesaiin pake dua2nya. Hasilnya nanti dicocokin sama hasil pake tabel kebenaran.

Kutip dari: tita pada November 21, 2016, 10:10:01 AM
saya sedang kesulitan merubah ekspresi logika berikut ke bentuk normal DNF.
(pᴧ (⌐q <=> r) → r

karena

p \Leftrightarrow q \equiv (p \wedge q)\vee (\neg q \wedge \neg p)

maka

\neg q \Leftrightarrow r \equiv (\neg q \wedge r)\vee (\neg r \wedge q)

selanjutnya coba pake hukum logika yang lain. Ada di slide tadi.
Judul: Re:logika matematika-BENTUK NORMAL
Ditulis oleh: tita pada November 21, 2016, 01:54:26 PM
sudah pak dg tabel kebenaran hasilnya ada 7 pernyataan sedangkan dg hukum logika hanya 2 pernyataan. sy bingungnya disitu, kalau CNF nya ketemu. kalau DNF nya belum, iya pak sudah nyoba dg cara itu...

****pasti bisa!!!
Judul: Re:logika matematika-BENTUK NORMAL
Ditulis oleh: reborn pada November 21, 2016, 07:05:34 PM
wah iya, susah juga ternyata. ikutan coret2, ga bisa sama dgn hasil tabel kebenaran ya. iya, dapetnya 7 pake tabel, tp hasil corat coret malah jauh berbeda. muter2 di sini :

\neg p \vee ( \neg q \wedge \neg r)\vee (r \wedge q) \vee r

mungkin ada yg lain yg bisa. saya mumet  :o
Judul: Re:logika matematika-BENTUK NORMAL
Ditulis oleh: tita pada November 21, 2016, 07:47:44 PM
Saya juga gitu persis pak jawabannya... Yg saya tanyakan kok bisa ga persis sm tabel kebenaran yaaaaa tp pak klo tak cek nilai kebenaran 7 persamaan dg tabel kebenaran dengan hasil di atas sama nilainya Pak atau ekuivalen