Download Materi
- Pengantar Logika Informatika
- Sistem Bilangan
- Pembuktian melalui Deduksi dan Induksi
- kalimat berkuantor
- kuantor ganda
- Konvers, Invers dan Kontraposisi
- Komplemen Fungsi
- Pernyataan atau Proporsi
- Pernyataan Konjungsi dan Disjungsi
- Pernyataan Implikasi dan Biimplikasi
- Ekuivalensi Logika
- Gerbang Logika
- Penyederhanaan Fungsi Boolean
- Fungsi Relasi & teori himpunan