СұРАҚтар: Логика алгебрасының

• КОМПЬЮТЕРДІҢ ЛОГИКАЛЫҚ НЕГІЗДЕРІ

СҰРАҚТАР:

• СҰРАҚТАР:
• 1. Логика алгебрасының
• элементтері
• 2. Логика алгебрасы және
• кодтау

Логика алгебрасы логикалық айтылымдарды өңдеуге, ықшамдауға, жазуға, есептеуге мүмкіндік беретін математикалық аппарат.

• Логика алгебрасы логикалық айтылымдарды өңдеуге, ықшамдауға, жазуға, есептеуге мүмкіндік беретін математикалық аппарат.
• Логикалық айтылымдар деп оған қатысты бірмәнді жалған немесе ақиқат деп тұжырым жасауға болатын хабарлы сөйлемдерді айтады.
• «емес», «және», «немесе», «егер … онда», «сонда тек қана сонда». Мұндай сөздер логикалық байламдар деп аталады.

• Өзге айтылымдардан логикалық байламдардың көмегі арқылы құралған айтылымдар құрмалас деп аталады. Құрамдас емес айтылымдар элементар деп аталады.
• Логикалық айтылымдарды қолдану үшін оларға ат береді.
• А және В екі айтылым берілген болсын.
• 1. А - А айтылымын жоққа шығару. А айтылымы ақиқат, егер А жалған болса.
• А А
• 0 1
• 1 0

2. “және” байламымен өрнектелген операция конъюнкция деп аталады. А&B өрнегі ақиқат тек сонда, егер А да, В да ақиқат болса.

• 2. “және” байламымен өрнектелген операция конъюнкция деп аталады. А&B өрнегі ақиқат тек сонда, егер А да, В да ақиқат болса.
• А В А&B
• 0 0 0
• 0 1 0
• 1 0 0
• 1 1 1
• 3.«немесе» байламымен өрнектелген операция дизъюнкция деп аталады. А v В жалған сонда тек сонда, егер А да, В да жалған болса.

А В АVB

• А В АVB
• 0 0 0
• 0 1 1
• 1 0 1
• 1 1 1
• 4.«егер … онда» байламымен өрнектелген операция импликация деп аталады. А В айтылымы жалған сонда тек сонда, егер А- ақиқат, ал В- жалған болса.
• А В А B
• 0 0 1
• 0 1 1
• 1 0 0
• 1 1 1