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

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

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

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

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

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

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

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

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

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

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

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

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

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

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

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

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

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

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

Функция "Дизъюнкция"

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

Функция "Конъюнкция"

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

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

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

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

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

Функция "Эквивалентность"

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

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

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

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

• логический закон;
• логическая функция:

1. совершенная дизъюнктивная нормальная форма;
2. совершенная конъюнктивная нормальная форма;
3. минимальная дизъюнктивная нормальная форма;
4. минимальная конъюнктивная нормальная форма;
5. алгебраическая нормальная форма;

• таблица истинности;
• карта Карно;
• трёхмерная карта Карно;
• полином Жегалкина;
• предикат;
• секвенции;
• суждение;
• умозаключения:

1. превращения;
2. обращения;
3. противопоставления предикату;
4. противопоставления субъекту;
5. чисто условные;
6. силогизмы;
7. условно-категорические;
8. разделительно-категорические;
9. эквивалентно-категорические.

Ссылки

• Участник:Logic-samara