Загальні відомості

Логіка – наука про закони і форми мислення. Математична логіка вивчає будь – які міркування за допомогою методів математики. Математична логіка входить до групи фундаментальних наук, які утворюють теоретичну основу інформатики. Англійський математик Дж. Буль вперше застосував алгебраїчні методи для вирішення логічних задач. Алгебра логіки – це розділ математичної логіки, значення всіх елементів (функцій і аргументів) якої визначені у двохелементному безлічі: 0 і 1. Алгебра логіки оперує логічними висловлюваннями. Істинне значення позначають одиницею (1) або символом T (True – істина), а хибне – нулем (0) або F (False – брехня). З двійковим кодом можна виконувати і логічні операції. С двоичными кодами можно выполнять и логические операции. Існують такі операції, які можна виконувати з інформацією : «И», «ИЛИ» і «НЕ» та ін. Використовуючи інформацію про істинність або хибність даних, які беруть участь у такій операції, вони визначають істинність або помилковість результату, керуючись логічними міркуваннями. Позначення логічних зв'язок (операцій) наведено у таблиці 4.1.

 

Таблиця 4.1 – Позначення логічних зв’язок (операцій)

 

Зв’язка Назва Логіка програмування
«И» логічне множення (кон’юнкція)   * & AND
«ИЛИ» логічне додавання (диз’юнкція) V + | OR
«НЕ» інверсія (логічне заперечення) ¬ __ (риса зверху) ! NOT
«Исключающее ИЛИ» додавання за модулем два a^   XOR

 

Таблиця істинності – це табличне зображення логічної операції, в якому перелічені всі можливі поєднання значень істинності вхідних сигналів (операндів) разом зі значенням істинності вихідного сигналу (результату операції) для кожного з цих поєднань (табл. 4.2, 4.3, 4.4, 4.5).

 

Таблиця 4.2 – Таблиця істинності логічного множення

 

Х Y X & Y

 

Таблиця 4.3 – Таблиця істинності логічного додавання

Х Y X | Y

 

Таблиця 4.4 – Таблиця істинності логічного заперечення

 

Х  

 

Таблиця 4.5 – Таблиця істинності логічного додавання за модулем два

 

Х Y  

 

Приклад 1. Обчислити логічний вираз :

 

,

 

де x = a[1], y = a[3], z = a[0],

a = 5610.

Перетворимо число a із десяткової системи числення в двійкову

5610 = 1110002.

Задамо значення для x, y і z

a2 = 2,

x = a[1] = 0,

y = a[3] = 1,

z = a[0] = 0.

Записуємо вираз с заданими значеннями та за допомогою таблиць істинності розписуємо

m = = = = = = 1.

 

Приклад 1. Обчислити логічний вираз

,

де x= a[6], y = a[4], z = x & y | a[2],

a10 = 583.

Перетворимо число a із десяткової системи числення в двійкову :

58310 = 10010001112.

Задамо значення для x, y і z :

a2 = 2,

x = a[6] = 1,

y = a[4] = 0,

z = 1 & 0 | 1 = 0 | 1 = 1.

Записуємо вираз із заданими значеннями та за допомогою таблиць істинності розписуємо

= = = = 1.