11 клас (академ). Логічні змінні. Логічні формули. Таблиці істинності. - 11 клас (академічний) - Інформатика - Каталог статей - Кабінет інформатики Черкаської СПШ №20
Кабінет 208
Головна | Реєстрація | Вхід
Четвер, 08.12.2016, 07:55
Меню сайту
Форма входу

Категорії розділу
5 клас [11]
6 клас [24]
7 клас [16]
8 клас [15]
9 клас [25]
10 клас (стардарт) [17]
10 клас (академічний) [23]
11 клас (стандарт) [21]
11 клас (академічний) [33]
Головна » Статті » Інформатика » 11 клас (академічний)

11 клас (академ). Логічні змінні. Логічні формули. Таблиці істинності.
Логічні змінні. Логічні формули. Таблиці істинності.


Алгеброю логіки (булевою логікою) називають розділ математичної логіки, в якому розглядається загальні властивості виразів, складених з висловлень з використанням логічних операцій.
В алгебрі логіки використовується поняття  логічна змінна.

Логічна змінна – це змінна, яка може набувати лише значень true або false.
Завданням алгебри логіки є визначення істинності логічних виразів.

Для відомих нам логічних операцій визначений такий пріоритет: заперечення, кон’юнкція, диз’юнкція.
Для змінення цього порядку виконання логічних операцій використовують дужки.

Для обчислення значення істинності логічного виразу  можна використати таблиці істинності.
Для складання та заповнення таблиці істинності потрібно:
1. Обчислити кількість можливих наборів значень логічних змінних. Якщо формула містить n різних логічних змінних, то можливих наборів значень цих змінних буде 2n . Це число визначає кількість рядків у таблиці істинності.
2. Обчислити кількість логічних операцій у логічному виразі. Ця кількість плюс кількість логічних змінних визначає кількість стовпців таблиці.
3. Заповнити перші n стовпців усіма можливими наборами значень логічних змінних.
4. Заповнити кожний наступний стовпець значеннями, отриманими при виконанні чергової логічної операції. 
В останньому стовпці таблиці будуть отримані усі можливі значення істинності заданого логічного виразу.

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

Домашнє завдання  
    §2.7  пит. 1-16 стор. 72     
    Впр. 6(г,д,е); 7 (г,д) стор. 73


Категорія: 11 клас (академічний) | Додав: admin (15.10.2013)
Переглядів: 2491
Пошук
Статистика

Онлайн всього: 1
Гостей: 1
Користувачів: 0
Copyright MyCorp © 2016
Безкоштовний хостинг uCoz