Як побудувати таблицю істинності

Відео: Інформатика. Алгебра логіки: Таблиці істинності. Центр онлайн-навчання «Фоксфорд»

Для будь-якого логічного виразу можна побудувати таблицю істинності. Ця таблиця наочно показує, при яких значеннях логічних змінних вираз звертається в одиницю або є істинним. За допомогою складання таблиць істинності можна довести рівність (або нерівність) двох складних логічних виразів.
Як побудувати таблицю істинності

Інструкція

1
Порахуйте кількість змінних у виразі. Для n логічних змінних знадобиться 2 ^ n рядків таблиці істинності, беручи до уваги рядки з заголовками. Потім порахуйте кількість логічних операцій в вираженні. Стовпців в таблиці буде стільки ж, скільки операцій плюс n стовпців для змінних.
Нехай дано вираз з трьома змінними, записане на малюнку. Змінних три, тому рядків потрібно 8. Кількість операцій - 3, тому число стовпців з урахуванням змінних дорівнює 6. Накресліть таблицю і заповніть її заголовок.
таблицю істинності" class ="lightbx" data-lightbox ="article-image"gt;Як побудувати & lt; strong & gt; таблицю & lt; / strong & gt; & Lt; b & gt; істинності & lt; / b & gt;
2
Тепер заповніть стовпці, надписані назвами змінними, всіма можливими варіантами змінних. Щоб не пропустити жодного варіанту, зручно представити для себе ці послідовності нулів і одиниць у вигляді двійкових чисел від 0 до 2 ^ n. Для трьох змінних це двійкові числа від 0 до 8 або від 000 до 111 в двійковій системі числення.
таблицю істинності" class ="lightbx" data-lightbox ="article-image"gt;Як побудувати & lt; strong & gt; таблицю & lt; / strong & gt; & Lt; b & gt; істинності & lt; / b & gt;
3
починати заповнювати таблицю істинності найзручніше з заповнення результатів заперечення змінних, оскільки тут не потрібно робити якихось складних умовиводів. У нашому випадку легко заповнити стовпець заперечення змінної B.
таблицю істинності" class ="lightbx" data-lightbox ="article-image"gt;Як побудувати & lt; strong & gt; таблицю & lt; / strong & gt; & Lt; b & gt; істинності & lt; / b & gt;
4
Потім підставляйте послідовно значення змінних в логічні операції, зазначені в заголовках стовпців, і записуйте в відповідні елементи таблиці, послідовно заповнюючи таблицю.
таблицю істинності" class ="lightbx" data-lightbox ="article-image"gt;Як побудувати & lt; strong & gt; таблицю & lt; / strong & gt; & Lt; b & gt; істинності & lt; / b & gt;

Рада 2: Як будувати таблицю істинності

поняття "Таблиця істинності" тісно пов`язане з логічними функціями, в цих функціях змінні можуть приймати тільки логічні значення - 0 і 1. Логічні функції можуть бути задані за допомогою таблиць істинності, при цьому таблиця складається з аргументів функції і її значень при цих аргументах. При побудові таблиць істинності необхідно враховувати порядок виконання логічних операцій.
Як будувати таблицю істинності

Інструкція

1
З курсу алгебри логік відомі основні операції над логічними виразами, порядок їх виконання наступний:
1. інверсія-
2. кон`юнкція-
3. діз`юнкція-
4. імплікація-
5. еквівалентність.
Послідовність операцій можна змінювати за допомогою дужок.
2
Таблиця істинності для складного виразу будується за наступним алгоритмом:


1. Визначається кількість рядків за формулою
кількість рядків = 2 ^ n + рядок для заголовка, де n - кількість простих висловлювань,


2. Визначається кількість стовпців за формулою
кількість стовпців = кількість змінних + кількість логічних операцій,
3. Будується таблиця і заповнюється результатами операцій в вищевказаної послідовності, при цьому використовується таблиця істинності простих логічних операцій.
3
Наприклад, візьмемо такий вислів
D = ¬ А & (B U C).
1. У виразі присутні висловлювання A, B і C, таким чином, n = 3, відповідно
кількість рядків = 9
2. Проміжні результати:
• ¬ А - інверсія, позначимо її буквою E
• B U C - диз`юнкція, позначимо її буквою F
• D = ¬ А & (B U C) = E & F - кон`юнкція
3. Таким чином, таблиця істинності набере вигляду, показаного на малюнку.
таблицю істинності" class ="lightbx" data-lightbox ="article-image"gt;Як будувати & lt; b & gt; таблицю & lt; / b & gt; & Lt; strong & gt; істинності & lt; / strong & gt;


Увага, тільки СЬОГОДНІ!

Увага, тільки СЬОГОДНІ!
» » Як побудувати таблицю істинності