LOGIKA INFORMATIKA

TUGAS KELOMPOK
STRATEGI PEMBALIKAN, TABLO SEMANTIK,
DAN BENTUK NORMAL

Disusun Oleh;
MARNO
NIM.201506
SOLEH
NIM.2014062034
SURYO KUNCORO
NIM.201506
BAMBANG WIJANARKO
NIM.201506
FAJAR ARIF MUSTHOFA
NIM.201506
(KELAS TIF.SALATIGA)

PROGRAM STUDI TEKNIK INFORMATIKA

FAKULTAS TEKNIK
UNIVERSITAS SAHID SURAKARTA
2015

PENDAHULUAN

Logika disebut juga the calculus of komputer science karena logika memegang
peranan yang sangat penting di bidang ilmu komputer. Peran kalkulus (matematika) sama
pentingnya untuk ilmu-ilmu bidang sains, misalnya ilmu fisika, ilmu elektronika, ilmu kimia,
dan sebagainya. Oleh karena itu, biasanya pelajar, mahasiswa, guru, dan dosen setuju bahwa
logika memainkan peranan penting dalam berbagai bidang keilmuan, bahkan dalam
kehidupan manusia sehari-hari.
Logika, komputasi numerik, dan matematika diskrit memiliki peran penting dalam
ilmu komputer karena semuanya berperan dalam pemrograman. Logika merupakan dasardasar matemtis suatu perangkat lunak, digunakan untuk memformalkan semantik bahasa
pemrograman dan spesifikasi program, serta menguji ketepatan suatu program. Hal ini
menunjukkan betapa pentingnya logika matematika karena banyak ilmu, khususnya dalam
bidang ilmu komputer, yang memerlukan logika untuk berkembang.
Logika dalam ilmu komputer dalam ilmu komputer digunakan sebagai dasar dalam
belajar bahasa pemrograman, struktur data, kecerdasan buatan, teknik/sistem digital, basis
data, teori komputasi, rekayasa perangkat lunak, sistem pakar, jaringan syaraf tiruan, dan lainlainnya yang mempergunakan logika secara intensif. Salah satu contoh yang populer adlah
sistem digital, yaitu bidang ilmu yang didasari oleh logika untuk membuat gerbang logika
(logic gates) dan arsitektur komputer sebagai inti mikroprosesor, otak komputer atau central
processing unit.
Logika matematika (mathematical logic) adalah cabang ilmu di bidang
matematika yang memperdalam masalah logika, atau lebih tepatnya memperjelas logika
dengan kaidah-kaidah matematika.
Logika matematika sendiri juga terus berkembang, mulai dari logika
proposional, logika predikat, pemrograman logika, dan sebaganya. Perkembangan terakhir
ilmu logika adalah logika fuzzy, atau di Indonesia disebut logika kabur atau logika samar.
Implementasi logika fuzzy dapat ditemui pada pengatur suhu udara (AC), mesin pencuci,
kulkas, lainnya.
Dari penjelasan diatas bisa disimpulkan mengenai peran penting logika dalam
ilmu komputer. Jika seseorang ingin mempelajari ilmu komputer, maka ia tidak bisa terlepas
dari masalah logika. Oleh karena itu, logika matematika dipelajari secara formal di perguruan

tinggi, khususnya dalam ilmu komputer sebagai matakuliah wajib selama 1 semester. Di
indonesia sendiri ilmu komputer lebih populer dengan nama Teknik Informatika atau
Teknologi Informasi.
Dikutip dari buku Logika Matematika Untuk Ilmu Komputer, oleh F. Soesianto dan Djoni
Dwijono, Andi Offset, Jogjakarta.

BAB I
BERKENALAN DENGAN LOGIKA INFORMATIKA

1.

Sejarah dan Pengertian Logika Informatika

Logika Informatika berasal dari bahasa Yunani yang berarti Logos Dalam
bahasa Inggris biasa diartikan dengan Word,Speech atau bisa juga dengan
What is Spoken lebih biasa kita kenal lagi dengan istilah thought atau
reason.Oleh karena itu definisi Logika ialah ilmu pengetahuan yang mempelajari
atau berkaitan dengan prinsip-prinsip dari penalaran argument yang valid.
Para ahli setuju bahwa Logika adalah studi tentang kriteria-kriteria untuk
mengevaluasi argumen-argumen dengan menentukan mana argumen yang valid dan
membedakan antara argumen yang baik dan argumen yang tidak baik.
Semula Logika dipelajari sebagai salah satu cabang

filosofi atau ilmu filsafat.

Namun sejak tahun 1800-an logika dipelajari dibidang matematika dan sekarang ini
juga dibidang ilmu komputer,karena logika juga mempengaruhi ilmu komputer
dibidang perangkat keras (Hardwere) maupun perangkat lunak (Softwere).
Logika

disini

disebut logika simbol karena ia mempelajari usaha-usaha

mensimbolisasikan usaha-usaha secara formal. Oleh karena itu Logika juga disebut
dengan logika formal

( Formal Logic ).

Aristotoles adalah orang pertama yang mengobservasi,meneliti dan mencatat

hukum-hukum dari logika formal,khususnya bentuk penalaran yang disebut
Silogisme yang terdiri dari beberapa permis dan satu konsklusi.Logika yang
dikembangkan oleh Aristoteles ini disebut juga Logika klasik atau Logika
Aristoteles.
2.

Macam macam Logika

a.

Logika Alamiah
Kinerja

akal

budi

sebelum dipengaruhi

manusia
oleh

yang

berfikir

secara

keinginan-keinginan

dan

tepat

dan

lurus

kecenderungan-

kecenderungan yang subyektif.Kemampuan Logika alamiah manusia itu ada

sejak lahir.

 Pengetahuan yang mengkaji tentang gejala-gejala alam semesta,termasuk

dimuka bumi ini,sehingga terbentuk konsep dan prinsip.
Sesuatu masalah yang telah dapat dipecahkan maka akan timbul masalah
lain yang menunggu pemecahannya.
b. Logika Ilmiah
Logika Ilmiah memperhalus dan mempertajam fikiran manusia serta akal
budi manusia.
Logika ilmiah

menjadi ilmu khusus yang merumuskan azas-azas yang

harus ditepati dalam setiap pemikiran.Berkat pertolongan Logika ilmiah inilah

akal budi dapat bekerja dengan lebih tepat,lebih teliti,lebih mudah dan lebih
aman. Logika ilmiah dimaksudkan untuk menghindarkan kesesatan atau
paling

tidak dikurangi,dan maka dari itu adanya Logika Ilmiah.

Logika Ilmiah dapat dikatakan rasional atau masuk akal karena dalam
logika ilmiah

telah

adanya

akal

sehat

yang

mendalami

penelitian

ilmiah dengan berbagai alas an yang berasal dari pemikiran itu sendiri.
3.

Tentang Informatika
Disiplin ilmu yang mempelajari tentang tranformasi fakta berlambang yaitu data
maupun informasi pada mesin berbasis komputasi.
Cakupan bidang informatika antara lain : Ilmu komputer,ilmu informasi,system
informasi, teknik komputer dan aplikasi informasi dalam bidang komputer
bisnis,akutansi maupun ilmu komputer manajemen.
Mempunyai dasar-dasar teori serta pengembangan sendiri.
Bisa mendukung dan berkaitan dengan aspek-aspek kognitif dan social,termasuk
pengaruh dari zaman teknologi yang semakin canggih agar tidak dipergunakan
dengan tidak semestinya.
Secara umum informatika mempelajari tentang struktur,sifat dan interaksi,dari
berbagai system yang dipakai untuk mengumpulkan data,memproses dan
menyimpan hasil dari pemrosesan data.
Aspek dari informatika lebih luas adalah dari sekedar system informasi berbasis
komputasi saja,akan tetapi masih banyak informasi yang tidak dan belum
diproses dengan komputer.

 Informatika mempunyai konsep dasar,teori dan

perkembangan

aplikasi

tersendiri.Informatika dapat mendukung dan berkaitan dengan aspek kognitif

dan social,temasuk tentang pengaruh terhadap akibat social dari teknologi
informasi ada umumnya.
4.

Aspek-aspek Informatika
Teori informasi yang mempelajari matematis dari suatu informasi.
Ilmu informasi yang mempelajari tentang pengumpulan klasifikasi,manipulasi
penyimpanan pengaksesan dan penyebarluasan informasi untuk keperluan social dan
kemasyarakatan secara menyeluruh.
Ilmu komputer dan teknik komputer

yang

mempelajari

tentang

pemrosesan,

pengaksesan, penyebarlusan dan apapun yang berhubungan dengan teknologi

informasi yang sehingga dapat dikembangkan.
Ilmu yang

mempelajari

logika buatan dibidang

komputasi

dengan

mengembangkan dan memanfaatkan logika itu sendiri.

Penggunaan informasi dalam beberapa macam bidang, seperti bioinformatika,
informatika medis, dan informasi yang mendukung

ilmu

perpustakaan,

merupakan beberapa contoh yang lain dari bidang informatika.

sesuatu yang flexibel karena mempunyai konsep dasar dan teori yang mudah
disesuaikan dengan perkembangan global, sehingga setiap aplikasi-aplikasi dari
informatika ini mempunyai perkembangan tersendiri.

BAB II
STRATEGI PEMBALIKAN
(REFUTATION STRATEGY)

1.

Pendahuluan
Strategi pembalikan adalah suatu cara atau upaya dalam logika untuk
membuktikan validitas suatu ekspresi logika untuk argumen. Teknik ini melihat pada
kesimpulan suatu argumen yang harus disalahkan dengan cara dinegasikan atau diberi
nilai false (F). yang membalik prinsip pertama premis-premis yang bernilai benar,
menghasilkan kesimpulan yang bernilai benar menjadi premis-premis yang bernilai
benar, menghasilkan kesimpulan yang bernilai salah. Dengan kata lain suatu argumen
yang valid dapat dipastikan tidak memenuhi premis yang sudah dibalik tersebut.
Strategi
cara

pembalikan

dilakukan

dengan

beberapa

tersebut diimplementasikan dalam beberapa

metode

cara
yang

dan

beberapa

berbeda-beda.

Beberapa cara untuk melakukan

strategi pembalikan adalah:
a. Menegasi kesimpulan
b. Memberi nilai F pada kesimpulan
Pembuktian

validitas

argumen

dengan

tabel

kebenaran

dapat

mempergunakan strategi pembalikan yang pertama yang dengan menegasi kesimpulan,

tetapi menyusun ekspresi logikanya menjadi berubah, yakni: (AB)A B, baru
kemudian dibuat tabel kebenarannya seperti berikut:
A B AB (AB)A B (AB)A
F
F
T
F
T
F
F
T
T
F
F
F
T
F
F
F
T
F
T
T
T
T
F
F
Hasilnya adalah kontradiksi, dan ini berarti MP adalah valid, karena MP tidak
memungkinkan premis-premis yang bernilai benar, menghasilkan kesimpulan yang
bernilai salah.

2.

Konsistensi
Pembuktian ekspresi-ekspresi logika bisa menggunakan tabel kebenaran. Tetapi
permasalahan memerlukan tabel yang sangat besar untuk menyelesaikan ekspresi
logika yang memiliki banyak variabel proposisional, yakni 2N

dimana N = jumlah

variabel.
Kelemahan lainnya terletak pada logika proposisional yang tidak bisa menangani
kerumitan bahasa yang dipergunakan sehari-hari, walaupun untuk yang sederhana
sudah cukup
Contoh Soal 1 :
Jika harga gula turun maka impor gula naik, jika impor gula naik maka pabrik gula
tidak senang. Harga gula turun. Pabrik gula senang.
Pernyataan-pernyataan diatas disebut konsisten satu dengan lainnya jika semuanya
bernilai benar. Perlu diingat, pernyataan di atas bukan argumen karena tidak ada
kesimpulan yang ditandai dengan kata dengan demikian
Catatan :
Koleksi dari pernyataan-pernyataan disebut konsisten jika pernyataan-pernyataan
tersebut secara simultan semuanya bernilai benar
Konsisten dapat dibuktikan dengan membuat pernyataan menjadi ekspresi logika dan
dibuktikan melalui tabel kebenaran.
Penyelesaian :
Langkah 1
Ubah ke variabel proposisional
A = harga gula turun
B = impor gula naik
C = pabrik gula senang
Langkah 2
Ubah pernyataan menjadi ekspresi logika
(1) A B
(2) B C
(3) A
(4) C

 Langkah 3
Menyusun ekspresi logika menjadi satu kesatuan
(AB)(BC)AC
Langkah 4
Membuat tabel kebenaran
A
F
F
F
F
T
T
T
T

B
F
F
T
T
F
F
T
T

C
F
T
F
T
F
T
F
T

AB
T
T
T
T
F
F
T
T

C
T
F
T
F
T
F
T
F

BC
T
T
T
F
T
T
T
F

(AB)(BC)AC
F
F
F
F
F
F
F
F

Pada tabel kebenaran sebelumnya dapat dilihat tidak ada satu pun ekspresi logika AB,
BC, A dan C yang mempunyai nilai T pada deretan pasangan yang sama sehingga
juga dipastikan F. Jadi, kumpulan pernyataan tersebut tidak konsisten.
Konsisten juga dapat diterapkan dalam argumen, yang premis-premisnya bernilai T dan
kesimpulannya bernilai T sehingga hasilnya juga harus T. Oleh karena itu, argumen dapat
disebut valid.
Contoh Soal 2 :
1) Jika Slank mengadakan konser, maka penonton akan hadir jika harga tiket tidak
terlalu tinggi.
2) Jika Slank mengadakan konser, maka harga tiket tidak terlalu tinggi.
3) Dengan demikian, jika Slank mengadakan konser maka penonton akan hadir.
Validitas argumen di atas harus dibuktikan dengan tabel kebenaran yang akan
membuktikan premis-premis bernilai T dengan kesimpulan bernilai T sehingga akan
menghasilkan nilai T juga.
Penyelesaian :
Langkah 1
Ubah ke variabel proposisional
A = Slank mengadakan konser
B = Penonton akan hadir
C = Harga tiket terlalu tinggi

 Langkah 2
Ubah pernyataan menjadi ekspresi logika
(1) A (CB)
(2) A C
(3) A B
Langkah 3
Menyusun ekspresi logika menjadi satu kesatuan
Untuk argumen, cara menulis ekspresi logikanya ada beberapa pilihan, yaitu:
((A(CB))(AC))(AB) atau
{(A(CB)),(AC)}|= (AB)
Untuk membuat tabel kebenaran sebaiknya menggunakan penulisan ke-1 agar lebih
mudah menyusunnya ke dalam tabel kebenaran. Akan tetapi, jika dengan strategi
pembalikan, kesimpulan diberi negasidan diberi operator . Untuk itu, dipilih
penulisan ke-2.
3.

Operasi Strategi Pembalikan

Strategi pembalikan dapat dilakukan dengan cara menyalahkan kesimpulan dari argumen
yaitu :
a. Menegasi kesimpulan, atau
b. Memberi nilai F
Sebelumnya sudah dikemukakan bahwa argumen disebut valid jika premis-premis
bernilai benar dan kesimpulan juga benar agar argumen tersebut juga benar sehingga
dapat dikatakan kalau argumen benar-benar valid.
Dengan strategi pembalikan pembalikan akan ada perlawanan (opposite) dan kesimpulan
yang tidak cocok dengan premis-premis, atau tidak konsisten (inconsistency). Oleh
karena itu, premis-premis bernilai T, sedangkan kesimpulan bernilai F.
Kembali ke Contoh Soal 2 sebelumnya, kesimpulannya akan dinegasikan dan ditulis
seperti berikut :
((A(CB))(AC))(AB) diubah menjadi
{(A(CB)) (AC))(AB)
Tabel kebenarannya dapat disusun seperti berikut :
{(A(CB)) (AC))(AB)
A
F

B
F

C
F

C
T

CB
F

A(CB)
T

AC
T

AB
T

(AB)
F

F
F
F
T
T
T
T

F
T
T
F
F
T
T

T
F
T
F
T
F
T

F
T
F
T
F
T
F

T
T
T
F
T
T
T

T
T
T
F
T
T
T

T
T
T
T
F
T
F

T
T
T
F
F
T
T

F
F
F
T
T
F
F

F
F
F
F
F
F
F

Hasil negasi dari kesimpulan dengan premis-premis tidak konsisten, atau hasilnya F.
Jadi di sini terjadi kemungkinan bahwa negasi dari kesimpulan bernilai T bersama
sama dengan premis-premis. Karena adanya strategi pembalikan, hasil yang semula
bernilai F justru bernilai T sehingga argumen di atas valid.
Pada dasarnya untuk mencari premis-premis yang bernilai T dengan kesimpulan
bernilai T sehingga mendapatkan hasil bernilai T, tidak memerlukan tabel kebenaran
secara keseluruhan, cukup dengan menemukan pasangan dari variabel proposisional
yang akan menghasilkan nilai T pada premis-premis dan kesimpulan.
Jika ada premis-premis dan kesimpulan yang bernilai T, bisa dipastikan argumen
tersebut valid. Teknik ini disebut model, sedangkan kebalikannya disebut
countermodel.

BAB III
TABLO SEMANTIK

1.

Pendahuluan

 Tablo semantik

adalah bentuk-bentuk proposisi yang dibangun berdasarkan

ATURAN TERTENTU yang biasanya berbentuk POHON TERBALIK dengan

cabang-cabang dan ranting yang relevan.
Dalam strategi pembalikan jika diketahui premis-premis bernilai T dan kesimpulan
bernilai F, jika hal itu bisa dibuktikan maka argumen tsb Tidak Valid. Sebaliknya jika
hal tsb tidak bisa dibuktikan maka argumen tersebut Valid. Jadi premis-premis yang
bernilai T seharusnya juga menghasilkan kesimpuan yang bernilai T juga.
Kesimpulan ini disebut semantically entailed dari premis-premis.
2.

Aturan aturan Tablo Semantik

Dalam tablo semantik secara keseluruhan terdapat 10 aturan :
a. Aturan 1 : A B
Jika tablo berisi A B, maka tablo dapat dikembangkan menjadi tablo yang baru
dengan menambahkan A dan B pada tablo A dan B. Bentuknya adalah sebagai berikut
:
AB
A
B
b. Aturan 2 : A B
Jika tablo berisi A B, maka tablo dapat dikembangkan menjadi tablo yang baru
dengan menambahkan dua cabang baru, satu berisi A dan satunya berisi. Bentuknya
adalah sebagai berikut :
AB
A

c. Aturan 3 : A B
AB
A

Pada hukum logika sudah diketahui (AB)= AB

d. Aturan 4 : A B

AB
AB

AB

Pada hukum logika juga sudah diketahui (AB) = (AB)( AB)

e. Aturan 5 : A
A
A
f. Aturan 6 : (AB)
(AB)
A

g. Aturan 7 : (AB)
(AB)
A
B
Hukum De Morgan : (AB) = AB
h. Aturan 8 : (AB)
(AB)
A
B
i. Aturan 9 : (AB)
(AB)
AB

AB

j. Aturan 10 :
Jika ada bentuk logika A dan negasinya (A) yang berada pada satu deretan cabang
dari tablo, maka terjadi ketidakkonsistenan pada cabang tersebut, dan cabang tersebut
dinyatakan tertutup (closed), dan cabang tersebut tidak bisa dekembangkan lagi.
3.

Tablo Semantik Pada Suatu Himpunan Ekspresi Logika

Contoh Soal 1 :
Apakah 2 buah ekspresi logika ini konsisten bersama-sama :
(AB) dan AB
Penyelesaian :
Tablo semantik yang dibuat adalah sebagai berikut :
(1) (AB)
(2)

AB
A

B aturan (2) pada (2)

A aturan (8) pada (1)

Tutup

Tutup

Bahwa pada cabang dari tablo pada Contoh Soal 1 tertutup karena cabang sebelah kiri
berisi A dan A, sedangkan cabang kanan berisi B dan B.
Maka kesimpulannya adalah tidak konsisten bersama-sama.
Cara cari penulisan tablo untuk contoh soal yang sama :
(1) (AB)
(2)

AB
A

aturan (8) pada (1)

B
A

aturan (5)

Tutup

Tutup

Aturan (2) pada (2)

Catatan :
Heuristik (rule of thumb) untuk mengefisiensikan pembuatan tablo :
1) Mencari ekspresi logika yang dapat memakai aturan tanpa cabang (satu cabang)

2) Mencari ekspresi logika yang isinya mempunyai bentuk, yang tablonya pasti tertutup,
misalnya A dan negasinya (A), agar cabang tablo tertutup dan tidak dapat
dikembangkan lagi.
Contoh Soal 2 :
Apakah himpunan dari 4 buah ekspresi logika ini bersama-sama konsisten (mutually
consistent) ?
AB, (BC), CD, dan (AD)
Penyelesaian :
Langkah 1
menuliskan semua ekspresi logika secara beruntun dari atas ke bawah :
(1) AB
(2) (BC)
(3) CD
(4) (AD)
Langkah 2
Memakai aturan (7) pada baris (4)
(1) AB
(2) (BC)
(3) CD
(4) (AD)
(5)

(6)

Langkah 3
Memakai aturan (5) pada baris (5)
(1) AB
(2) (BC)
(3) CD
(4) (AD)
(5)

(6)

(7)

Sekarang tidak ada lagi yang tidak bercabang, maka harus memilih salah satu dari
ekspresi logika untuk meneruskan tablo.
Langkah 4
Memakai aturan (2) pada baris (1)
(1) AB
(2) (BC)
(3) CD
(4) (AD)
(5)

(6)

(7)

(8)

Tutup
Satu cabang telah tertutup. Karena pada satu cabang terdapat A dan A, maka tinggal
meneruskan pada cabang yang lain.
Langkah 5
Memakai aturan (6) pada baris (2)
(1) AB
(2) (BC)
(3) CD
(4) (AD)
(5)

(6)

(7)

(8)

Tutup
(9)

B
C
Tutup
Satu cabang tertutup. Karena pada satu cabang terdapat B dan B, maka tinggal
meneruskan pada cabang yang lain yang masih terbuka.
Langkah 6
Memakai aturan (5) pada baris (9)
(1) AB
(2) (BC)
(3) CD
(4) (AD)
(5)

(6)

(7)

(8)

Tutup
(9)

B
C
Tutup
C

(10)
Langkah 7

Memakai aturan (3) pada baris (3)

(1) AB
(2) (BC)
(3) CD
(4) (AD)
(5)

(6)

(7)

(8)

Tutup
(9)
(10)

B
C
Tutup
C

(11)

Tutup

Tutup

Akhirnya seluruh tablo tertutup, tablo semantik yang disusun juga sudah lengkap
seluruh ekspresi logika yang harus diturunkan menjadi tablo.
Dapat disimpulkan bahwa semua ekspresi logika tersebut tidak konsisten, atu tidak
kompatibel bersama-sama.
4.

Tablo Semantik Pada Pembuktian Validitas Suatu Argumen

Contoh Soal 3 :
Jika Badu mencontek saat ujian, maka dosen akan datang jika pengawas tidak lalai. Jika
Badu mencontek saat ujian, maka pengawas tidak lalai. Dengan demikian, jika Badu
mencontek saat ujian, maka dosen akan datang.
Catatan :
Tablo semantik memakai teknik strategi pembalikan dengan menegasi kesimpulan.
Penyelesaian :
Langkah 1
Membuat variabel proposisional seperti berikut :
A = Badu mencontek saat ujian
B = Dosen akan datang
C = Pengawas lalai
Langkah 2
Menyusun menjadi ekspresi logika :
(1) A(CB)
(2) AC

(3) AB
(4) Jika ditulis akan menjadi seperti berikut :
{A(CB), AC} |= AB
Langkah 3
Menyusunnya menjadi dertan untuk dibuat tablo dengan menegasikan kesimpulan
menjadi (AB) sehingga penulisan di atas akan menjadi :
(A(CB) (AC) (AB)
Selanjutnya, susun menjadi urutan :
(1) A(CB)
(2) AC
(3) (AB)
Langkah 4
Membuat tablo semantiknya (dengan mengikuti heuristik pembuatan tablo untuk
mengefisiensikan percabangan tablo)
(1) A(CB)
(2) AC
(3) (AB)
A
B
A
A

Tutup
A

CB

Tutup
C

B
Tutup

C
Tutup
BAB IV

BENTUK NORMAL

1.

Pendahuluan
Bentuk ekspresi logika yang standar disebut bentuk normal. Bentuk normal
mempunyai 2 jenis, yaitu :
a. Bentuk normal konjungtif (Conjunctive Normal Form) atau CNF
b. Bentuk normal disjungtif (Disjunctive Normal Form) atau DNF
Semua bentuk ekspresi logika sebenarnya bisa disederhanakan dengan menggunakan
perangaki dasa , , dan . Inilah yang dimaksud dengan bentuk standar.
Bentuk normal sangat penting dipahami karena kebanyakan aplikasi logika, misalnya
merancang rangkaian elektronika, menggunakan bentuk normal khususnya bentuk
normal disjungtif.
Setiap ekspresi logika yang berbentuk FPE atau WFF dapat diubah menjadi bentuk
normal, dengan hanya menggunakan perangkai dasar.
Contoh 1 :
Misalnya ada skema sepeerti berikut :
P = (AB)(CA)
Q=((AB)(CA))
Jika PQ, maka :
(AB)(CA)((AB)(CA))
Jadi dapat dipastikan bahwa (AB)(CA) akan sama nilai kebenarannya dengan
((AB)(CA)) dengan semua nilai kebenaran dari A, B dan C
Setiap bentuk ekspresi logika daopat diubah menjadi bentuk normal, yang hanya
berisi perangkai , dan dengan proposisi dasar yang dikomposisikan dalam
bentuk rumus atomik atau atom-atom. Atom sama saja dengan literal.
Jadi :
1) A dan A adalah atom-atom atau literal
2)

P2 adalah literal

3)

P12 adalah literal

4) Literal yang berisi satu atom disebut literal positif misalnya :

P2

5) Literal yang berisi negasi dari satu atom disebut literal negatif misalnya :
P12

2.

Bentuk Normal Konjungtif (CNF)

Bentuk normal konjungtif atau CNF adalah bentuk normal yang memakai perangkat
konjungsi dari disjungsi.
Definisi : suatu ekspresi logika (WTF) memiliki bentuk CNF bila merupakan konjungsi
dari disjungsi literal-literal. Bentuknys seperti berikut :
A 1 A 1 ... A i ... A n
Dimana setiap

A i berbentuk :

1 1 j m
Dimana setiap

j berbentuk literal

Contoh Soal 1 :
Berikut ini contoh-contoh CNF :
1) ( P2 P 5
2)