TEKNIK DIGITAL LOGIKA KOMBINASI

Ekspresi Logika

• Proposisi majemuk, merupakan kombinasi
beberapa proposisi.
• Ekspresi logika pada proposisi majemuk sangat
penting, sebab perbedaan ekspresi akan
menghasilkan nilai kebenaran yang berbeda.
• Selain bentuk Wff maka satu hal yang penting lagi adalah pemberian tanda kurung (full
parenthesized expression, fpe), untuk menghindari kesalahan interpretasi.

• Langkah-langkah untuk mengubah suatu
pernyataan menjadi ekspresi logika:
1. Ambil pernyataan yang pendek, tanpa kata-kata
penghubung, dan yang bisa dijawab benar atau
salah.
2. ubah pernyataan-pernyataan tersebut dengan
variabel-variabel proposisi.
3. Rangkai variabel proposisi tersebut dengan
perangkai yang tepat.
4. Bentuk menjadi proposisi majemuk dan berikan
tanda kurung yang tepat.
Contoh
Jika Badu belajar rajin dan sehat, maka
Badu lulus ujian, atau Jika Badu tidak
belajar rajin dan tidak sehat, maka Badu
tidak lulus ujian.
Contoh
A=Badu belajar rajin.
B=Badu sehat.
C=Badu lulus ujian.
Perangkai yang dibutuhkan negasi, implikasi, dan,
atau.
Bentuk proposisi majemuk:
((A∧B)→C)∨((¬A∧¬B) → ¬C)

Penyederhanaan Proposisi Majemuk

• Skema
– Semua ekspresi yang berisi indetifikatoridentifikator
yang menunjukkan adanya suatu
ekspresi logika disebut skema.
– Mengganti satu subekspresi dengan satu
indentifikator.
• Parsing
– Memisah-misahkan kalimat menjadi proposisiproposisi
yang paling kecil, dalam bentuk
parse tree.

Penyederhanaan Proposisi Majemuk

• Aturan Pengurutan
– Digunakan untuk memastikan proses
pengerjaan subekspresi dalam menentukan
prioritas penafsiran.
– Urutannya : negasi, konjungsi, disjungsi,
implikasi, ekuivalensi.

Validitas

• Pengujian validitas dapat dilakukan
menggunakan tabel kebenaran dan strategi
pembalikan
• Pengujian validitas menghasilkan :
– Tautologi (╞ )
• Jika semua kemungkinan menghasilkan nilai benar.
– Kontradiksi
• Jika semua kemungkinan menghasikjan nilai salah
– Kontigensi
• Jika menghasilkan nilai benar dan salah.
• Dikatakan valid jika tabel kebenarannya
menghasilkan tautologi.