CNF
•Download as PPT, PDF•
0 likes•1,839 views
Dokumen tersebut membahas tentang teknik inferensi logika proposisional menggunakan resolusi. Teknik ini memerlukan konversi proposisi menjadi bentuk khusus Conjunctive Normal Form (CNF) terlebih dahulu sebelum dilakukan proses resolusi untuk menemukan kontradiksi dan membuktikan kebenaran suatu pernyataan. Langkah-langkah konversi ke CNF dan proses resolusi dijelaskan beserta contoh penerapannya.
![[object Object],[object Object],[object Object],[object Object],[object Object]](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)