Logika informatika adalah salah satu cabang ilmu dalam bidang pengetahuan matematika modern. Suatu alat untuk memecahkan masalah yang berhubungan dengan nilai kalimat,relasi antara beberapa kalimat dan penarikan kesimpulan dari beberapa hipotesa yang diketahui lebih dulu kebenarannya,juga penyederhanaan suatu rangkaian listrik maupun rangkaian logika,serta pemberian penilaian terhadap suatu ran…