Таблица истинности

Информатика. Алгебра логики: Таблицы истинности. Центр онлайн-обучения «Фоксфорд» [10:16]

Конъюнкция, Дизъюнкция, Инверсия, Отрицание, Импликация, Следование. Таблица истинности // TheZxline [7:16]

Таблица истинности — таблица, определяющая логическую функцию.

Виды таблиц истинности

Для функции одной переменной

Для функции двух переменных

Для функции трёх переменных

Для функции четырёх переменных

• Таблица истинности может быть представлена в виде карт Карно.

Примеры таблиц истинности

Функция «Отрицание»

Функция «Стрелка Пирса»

Функция «Штрих Шеффера»

Функция «Дизъюнкция»

Функция «Конъюнкция»

Функция «Импликация»

Функция «Обратная импликация»

Функция «Эквиваленция»

Функция «Разделительная дизъюнкция»

Другие понятия

1. Логический закон;
2. Логические функции:
   1. отрицание;
   2. дизъюнкция;
   3. конъюнкция;
   4. разделительная дизъюнкция;
   5. импликация;
   6. обратная импликация;
   7. эквиваленция;
   8. стрелка Пирса;
   9. штрих Шеффера;
   10. полином Жегалкина;
3. Нормальные формы:
   1. совершенная дизъюнктивная нормальная форма;
   2. совершенная конъюнктивная нормальная форма;
   3. минимальная дизъюнктивная нормальная форма;
   4. минимальная конъюнктивная нормальная форма;
   5. алгебраическая нормальная форма;
4. Таблица истинности;
5. Карта Карно;
6. Трёхмерная карта Карно;
7. Предикат;
8. Секвенции;
9. Суждение;
10. Умозаключения:
    1. превращения;
    2. обращения;
    3. противопоставления предикату;
    4. противопоставления субъекту;
    5. чисто условные;
11. силогизмы:
    1. условно-категорические;
    2. разделительно-категорические;
    3. эквивалентно-категорические.