-->
|
|
|
§ 1.3. Ýëåìåíòû àëãåáðû ëîãèêè Ïîóðî÷íûå ïëàíû, èíòåðàêòèâ1.3.2. Ëîãè÷åñêèå îïåðàöèèÂûñêàçûâàíèÿ áûâàþò ïðîñòûå è ñëîæíûå. Âûñêàçûâàíèå íàçûâàåòñÿ ïðîñòûì, åñëè íèêàêàÿ åãî ÷àñòü ñàìà íå ÿâëÿåòñÿ âûñêàçûâàíèåì. Ñëîæíûå (ñîñòàâíûå) âûñêàçûâàíèÿ ñòðîÿòñÿ èç ïðîñòûõ ñ ïîìîùüþ ëîãè÷åñêèõ îïåðàöèé. Ðàññìîòðèì îñíîâíûå ëîãè÷åñêèå îïåðàöèè, îïðåäåë¸ííûå íàä âûñêàçûâàíèÿìè. Âñå îíè ñîîòâåòñòâóþò ñâÿçêàì, óïîòðåáëÿåìûì â åñòåñòâåííîì ÿçûêå.
ÊîíúþíêöèÿÐàññìîòðèì äâà âûñêàçûâàíèÿ: À = «Îñíîâîïîëîæíèêîì àëãåáðû ëîãèêè ÿâëÿåòñÿ Äæîðäæ Áóëü»,  = «Èññëåäîâàíèÿ Êëîäà Øåííîíà ïîçâîëèëè ïðèìåíèòü àëãåáðó ëîãèêè â âû÷èñëèòåëüíîé òåõíèêå». Î÷åâèäíî, íîâîå âûñêàçûâàíèå «Îñíîâîïîëîæíèêîì àëãåáðû ëîãèêè ÿâëÿåòñÿ Äæîðäæ Áóëü, è èññëåäîâàíèÿ Êëîäà Øåííîíà ïîçâîëèëè ïðèìåíèòü àëãåáðó ëîãèêè â âû÷èñëèòåëüíîé òåõíèêå» èñòèííî òîëüêî â òîì ñëó÷àå, êîãäà îäíîâðåìåííî èñòèííû îáà èñõîäíûõ âûñêàçûâàíèÿ.
Äëÿ çàïèñè êîíúþíêöèè èñïîëüçóþòñÿ ñëåäóþùèå çíàêè: È, ∧, •, &.
Êîíúþíêöèþ ìîæíî îïèñàòü â âèäå òàáëèöû, êîòîðóþ íàçûâàþò òàáëèöåé èñòèííîñòè:
 òàáëèöå èñòèííîñòè ïåðå÷èñëÿþòñÿ âñå âîçìîæíûå çíà÷åíèÿ èñõîäíûõ âûñêàçûâàíèé (ñòîëáöû À è Â), ïðè÷¸ì ñîîòâåòñòâóþùèå èì äâîè÷íûå ÷èñëà, êàê ïðàâèëî, ðàñïîëàãàþò â ïîðÿäêå âîçðàñòàíèÿ: 00, 01, 10, 11.  ïîñëåäíåì ñòîëáöå çàïèñàí ðåçóëüòàò âûïîëíåíèÿ ëîãè÷åñêîé îïåðàöèè äëÿ ñîîòâåòñòâóþùèõ îïåðàíäîâ.
Ïîäóìàéòå ïî÷åìó.
|
|
|