Ini adalah latihan soal untuk UAS. Kerjakan dan kumpulkan saat UAS.
Bahan UAS :
- Ekuivalen logis menggunakan tabel kebenaran
- Penyederhanaan
- Strategi pembalikan
- Mengubah ke bentuk CNF dan DNF
- Mencari FCNF dan FDNF
- Menggunakan teknik resolusi refutasi untuk pembuktian validitas argumen
Saturday, December 26, 2009
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment