Contents

СТОРІНКИ |  |

2.1. Елементи математичної логіки

2.2. Основні закони алгебри логіки

2.3. Форми логічних функцій та їх використання для синтезу логічних схем

2.4. Логічні елементи і схеми. Принцип двоїстості

2.5. Класифікація логічних пристроїв

Лабораторний практикум

Висновки

Тестування

2.1. Елементи математичної логіки

Математична логіка - частина формальної логіки. Вона є теоретичною основою побудови ЕОМ і цифрових пристроїв. Найбільшого поширення в галузі математичної логіки дістала алгебра логіки.

Базою алгебри логіки є поняття про висловлювання, істинність і помилковість висловлювання, а також поняття про зв’язки між висловлюваннями. Висловлювання, або логічний аргумент, в залежності від значення буває істинним або помилковим. Значення висловлювання може змінюватися із зміною обставин, тому висловлювання змінює оцінку своєї істинності. З точки зору логіки висловлювання можуть бути:

- постійно істинними (математично їх беруть такими, що дорівнюють 1);

- постійно помилковими (математично вони дорівнюють 0);

- істинними або помилковими залежно від певних умов, тобто набувати значення 1 або 0 навперемінно.

За змістом висловлювання бувають прості та складні. При простому висловлюванні логічний аргумент належить до складного висловлювання логічної функції, що залежить від істинності або помилковості аргументу.

Звичайно просте висловлювання позначають малими літерами латинського (або російського) алфавіту: х, е, z, m, р, a, b. Складні висловлювання, або логічні функції, позначають великими літерами латинського (російського) алфавіту: А, F, Р, X, Y, S, Q. Зв'язки між висловлюваннями-аргументами за своєю логікою різні, і від цього значення складного висловлення непостійне.