Таблица истинности — различия между версиями
Материал из ALL
Строка 30: | Строка 30: | ||
[[файл:ТИ28.JPG]] | [[файл:ТИ28.JPG]] | ||
== Другие понятия: == | == Другие понятия: == | ||
− | * [[логическая функция]]; | + | *[[машина Поста]]; |
− | * [[логический закон]]; | + | *[[машина Тьюринга]]; |
− | * [[ | + | *[[схема примитивной рекурсии]]; |
− | * [[карта Карно]]; | + | *[[логический закон]]; |
− | * [[трёхмерная карта Карно]]. | + | *[[логическая функция]]; |
+ | *[[логический закон]]; | ||
+ | *[[таблица истинности]]; | ||
+ | *[[карта Карно]]; | ||
+ | *[[трёхмерная карта Карно]]. | ||
+ | *[[предикат]]; | ||
+ | *[[секвенции]]; | ||
+ | *[[силлогизм]]; | ||
+ | *[[суждение]]; | ||
+ | *[[умозаключение]]. | ||
== Ссылки == | == Ссылки == | ||
* [[Участник:Logic-samara]] | * [[Участник:Logic-samara]] | ||
[[Категория:Дискретная математика]][[Категория:Логика]] | [[Категория:Дискретная математика]][[Категория:Логика]] |
Версия 09:27, 23 января 2016
Таблица истинности — это таблица, определяющая логическую функцию.
Виды таблиц истинности:
Для функции одной переменных
Для функции двух переменных
Для функции трёх переменных
Для функции четырёх переменных
- Таблица истинности может быть представлена в виде карт Карно.
Примеры таблиц истинности:
Функция "Отрицание"
Функция "Стрелка Пирса"
Функция "Штрих Шеффера"
Функция "Дизъюнкция"
Функция "Конъюнкция"
Функция "Импликация"
Функция "Обратная импликация"
Функция "Эквивалентность"
Функция "Разделительная дизъюнкция"
Другие понятия:
- машина Поста;
- машина Тьюринга;
- схема примитивной рекурсии;
- логический закон;
- логическая функция;
- логический закон;
- таблица истинности;
- карта Карно;
- трёхмерная карта Карно.
- предикат;
- секвенции;
- силлогизм;
- суждение;
- умозаключение.