8.  9. ва  
Юкорида келтирилган коидалардан куйдаги нарсани тушиниш керак.Суратда ёзилган формулалардан махражда ёзилган формулалар келиб чикади.Иккинчидан куйдаги маънони англатади.Агар суратдаги формулалар тавтология булса, у холда махраждаги формула хам тавтологиядур.Яъни келтириб чикарилганлик коидалари тавтология хосил килишш коидаларини билдиради.
Куйдаги масалаларни караб утамиз.Берилган формулалар кетма-кетлигидан келтириб чикариш мумкин булган барча формулаларни аниклаш мумкинми? Бу саволга куйдаги теорема жавоб беради.
Do'stlaringiz bilan baham: |
