1 пєнініњ ОЌу программасы syllabus

-Дәріс тақырыбы. Логикалық алгебра функцияларын аналитикалық түрде жазу. ДҚФ,КҚФ,МДҚФ,МКҚФ (2 сағ)

жүктеу 19,56 Mb.

бет	14/34
Дата	31.05.2018
өлшемі	19,56 Mb.
	#18555

1 ... 10 11 12 13 14 15 16 17 ... 34

6-Дәріс тақырыбы. Логикалық алгебра функцияларын аналитикалық түрде жазу. ДҚФ,КҚФ,МДҚФ,МКҚФ (2 сағ)

Дәріс конспектісі:

Анықтама. Егер x логикалық айнымалы,  {0,1} болса, онда

өрнегі литер деп аталады.

литерлері контрарлы литерлер деп аталады.

Анықтама. Егер формула айнымалылар немесе олардың терістеулерінің дизъюнкциясы болса (бір мұшелі болуы да мүмкін) оны элементар дизъюнкция (дизъюнктер) деп атайды.

Мысалдар. x₂,x₃; x₁  x₂  x₃ , x₁  x₂  x₃ ; x  y  z ; x  y  x – дизъюнктер.

Анықтама Егер формула айнымалылар немесе олардың терістеулерінің конъюнкциясы болса (бір мұшелі болуы да мүмкін)оны элементар конъюнкция (конъюнктер) деп атайды.

х₁, x₂ , x₁  x₂ ,

, x₁  x₂  x₃ ;

х- бір уақытта дизъюнкт те, конъюнкт те бола алады.

Анықтама. Конъюнктердің дизъюнкциясы дизъюнктивті қалыпты форма (ДҚФ Элементар конъюнкциялардың дизъюнкциясы) деп, ал дизъюнктердің конъюнкциясы конъюнктивті қалыпты форма деп аталады (КҚФ- Элементар дизъюнкциялардың конъюнкциясы).

Мысалы. ДҚФ:

 yz,

КҚФ: (x  y 

)  ( x  z) y-; – ДҚФ;

- КҚФ-те ДҚФ-те бола алады.

1-Теорема. Кез-келген А формуласы үшін оған эквивалентті қалыпты дизъюнктивті формадағы В формуласын (А

В) табуға болады. В А-ның қалыпты дизъюнктивті формуласы деп аталады.Дәлелдеусіз (кез келген формула өзінің ДҚФ,КҚФ эквивалентті ).

жүктеу 19,56 Mb.

Достарыңызбен бөлісу:

1 ... 10 11 12 13 14 15 16 17 ... 34