p : Azka Bersalah
q : Beno bersalah
r : Candra Bersalah
Â
 Proporsi Logika
2) Membentuk tabel kebenaran
Seseorang dinyatakan bersalah apabila tes poligraf menunjukkan bahwa dia telah berbohong, sementara kedua temannya mengatakan kebenaran. Didalam tabel yang menunjukkan bahwa kedua temannya mengatakan kebenaran (B) dan dirinya sendiri berbohong( S) adalah Azka dan Beno, maka Azka dan Beno dinyatakan bersalah.
3. Penerapan logika matematika dalam ilmu komputer digunakan sebagai dasar untuk mempelajari bahasa pemrograman, struktur data, kecerdasan buatan, teknologi / sistem digital, database, teori komputasi, rekayasa perangkat lunak, sistem pakar, jaringan saraf tiruan, dan penggunaan logika ekstensif lainnya.Â
Contoh yang populer adalah sistem digital, yaitu bidang ilmu yang berbasis logika, sehingga gerbang logika dan arsitektur komputer menjadi inti dari sebuah Central Processing Unit.Â
Logika informasi dalam teknologi informasi memegang peranan yang sangat penting, dan hampir selalu kita jumpai dalam pengembangan perangkat keras(hardware) dan perangkat lunak(software). Misalnya, dalam pengembangan perangkat lunak, prinsip logika digunakan dan diterapkan di hampir setiap bahasa pemrograman. Oleh karena itu pemahaman logika dalam bidang teknologi informasi merupakan dasar dari metode pembuatan perangkat keras atau lunak.