Article Per Year (5 Year)
p-Index From 2021 - 2026
0
P-Index
This Author published in this journals
All Journal Buletin Informatika JUTEI (Jurnal Terapan Teknologi Informasi) Jurnal Informatika
Djoni Dwijono
Universitas Kristen Duta Wacana
Computer Science & IT

Published : 3 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 1 Documents
Search
Journal : Jurnal Informatika

 1 
Teknik Penyederhanaan untuk Menyederhanakan Teknik Resolusi Djoni Dwijono
Jurnal Informatika Vol 5, No 2 (2009): Jurnal Informatika
Publisher : Universitas Kristen Duta Wacana

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (102.909 KB) | DOI: 10.21460/inf.2009.52.75

Abstract

Teknik Resolusi sebenarnya tidak mudah dikerjakan karena teknik ini memiliki beberapa langkah-langkah yang cukup rumit dikerjakan, antara lain menjalankan strategi perlawanan, membuat bentuk normal konjungtif, lalu melakukan resolve antar klausa yang memiliki literal berpasangan secara terus menerus dengan bentuk pohon resolusi sampai diperoleh hasil terakhir berupa simbol falsum yang berarti terjadi kontradiksi, dan dari hasil berupa falsum ini dibuktikan  validitas argumen tersebut. Ekspresi logika berbentuk bentuk normal konjungtif yang panjang dan masih rumit, dapat disederhanakan dengan teknik penyederhanaan menjadi bentuk normal konjungtif yang paling sederhana dan memudahkan proses resolve antar klausa, sehingga pembuatan pohon resolusi menjadi sangat pendek, mudah dan sederhana.
Co-Authors