Zbekiston respublikasi milliy gvardiyasi harbiy-texnik instituti

R ^q ≡ p V q 
Bu formulalar 
de-Morgan
qonunlari deb ataladi.
Agar murakkab hukm tarkibida shartli hukm bo‗lsa., formula unga aynan teng bo‗lgan 
implikatsiyasi bo‗lmagan boshqa formulaga almashtiriladi. Masalan , «Agar bo‗sh vaqtim bo‗lsa, 
unda televizor ko‗raman». «Bo‗sh vaqtim bo‗ldi, lekin televizor ko‗rmadim ».
4. Hukmlar (mulohazalar) o‗rtasidagi munosabatlar 
 
Mulohazalar (Hukmlar) ham tushunchalar kabi takkoslanadigan (umumiy subekt yoki 
predikatga ega bo‗lgan) va taqqoslanmaydigan turlarga bo‗linadi. Taqqoslanadigan mulohazalar