Pendahuluan.

Tulisan ini dibuat untuk memenuhi nilai tugas Logika Informatika
Jurusan : Sistem Informasi STMIK Mercusuar
Dosen Pengajar: Slamet Sucipto, M.Kom
Refernsi : http://hyperpost.blogspot.co.id/2014/10/logika-informatika-tentang-tautologi.html
http://dedekyohana93.blogspot.co.id/2012/11/tautologi-kontradiksi-dan-ekuivalensi_4667.html