DI potingan kali ini kita akan membahas sedikit mengenai hukum dalam logika informatika. Hukum ini sangat penting dalam teori logika informatika,mari kita simak bersama.
Andaikan P suatu
formula yang menggunakan ku
rung penuh (berarti untuk setiap kemunculan dari pada suatu operator baik monadika maupun diadika, operator tersebut dan operannya dikurung dlm satu kurung) yang hanya memuat operator-opera tor Ø, Ú, dan Ù ;
Kita telah tahu bahwa setiap formula dapat disajikan dalam bentuk ini (ingat himpunan operator lengkap). Selanjutnya kita definisikan P* sebagai formula yg didapat dari formula P dengan menggunakan dua aturan dibawah ini :
1). Gantikan setiap kemunculan Ù dengan Ú dan kemunculan Ú dengan Ù
2). Gantikan setiap variabel proposisional terne
gasikan Øp dengan P dan sebaliknya setiap variabel proposisional tak ternegasikan p dengan Øp
