DNA (deoxyribonucleic acid,)  terdiri dari beberapa komponen yaitu gugus gula deoksiribosa, gugus fosfat, dan gugus basa nitogren. Himpunan basa nitrogen dapat ditulis sebagai Kombinasi dari tiga buah elemen  membentuk kode triplet (kodon) yang ditranslasikan menjadi asam amino. Dalam pembentukan DNA terdapat berbagai proses yang terjadi yaitu sintesis protein, replikasi DNA, dan proses hibridisasi. Untuk membentuk suatu ikatan antara DNA dengan DNA diperlukan proses hibridisasi.Proses Hibridisasi adalah pembentukan ikatan dupleks stabil antara dua rangkaian nukleotida yang saling komplementer melalui perpasangan basa Nitrogen. Kajian proses Hibridisasi sering ditemui dalam komputasi DNA yang menggunakan sistem Pakar. Paper ini akan mengkaji langkah-langkah yang diperlukan pada proses hibridisasi dalam merepresentasikan aturan hasil perhitungan indeks massa tubuh dengan aturan tertentu.Langkah-langkah tersebut dapat digunakan untuk pengukran gizi dan yang mempengaruhinya

Logika matematika adalah sebuah cabang matematika yang merupakan gabungan dari ilmu logika dan ilmu matematika. Logika matematika memberikan landasan bagaimana cara menyimpulkan. Hal yang paling penting  dalam  mempelajari logika matematika adalah kemampuan dalam mengambil dan menentukan kesimpulan yang benar atau salah. Materi logika matematika yang dipakai di antaranya disjungsi, konjungsi, tautologi, modus ponen. Sementara itu, DNA adalah makromolekul yang menyimpan segala informasi biologis yang sangat berperan dalam kehidupan organisme hidup. DNA tersusun atas tiga macam molekul, yaitu gula pentosa (deoksiribosa), asam fosfat, dan basa nitrogen. Dalam pembentukan DNA, terdapat berbagai proses yang terjadi di antaranya sintesis protein, replikasi DNA, dan proses hibridisasi yang diperlukan untuk membentuk ikatan antara DNA dengan DNA. Dengan  logika matematika dan metode perluasan modus ponen pada proses hibridisasi, proses tersebut dapat disederhanakan. Pada artikel ini, dibahas aplikasi logika matematika dalam untai DNA pada proses hibridisasi