Таблицы истинности логических функций. Таблицей истинности логической функции принято называть табличное представление логической операции, в котором.

Презентация:



Advertisements
Похожие презентации
Для определения истинности или ложности сложного логического выражения используют таблицы истинности. Количество строк напрямую зависит от количества.
Advertisements

ГБПОУ «МСС УОР 2» Москомспорта Преподаватель информатики Володина М.В г.
П ОСТРОЕНИЕ ТАБЛИЦ ИСТИННОСТИ ДЛЯ СЛОЖНЫХ ВЫСКАЗЫВАНИЙ. Подготовила учитель информатики высшей категории Габриэль Татьяна Васильевна.
Таблицы истинности.. Решение логических задач принято записывать в виде таблиц истинности – таблиц, в которых по действиям показано, какие значения принимает.
Логические выражения могут быть простыми и сложными. Простое логическое выражение состоит из одного высказывания и не содержит логические операции. В.
Логика Логика – это наука о формах и способах мышления Подготовила учитель информатики МОУ СОШ 2 ст. Выселки Краснодарского края Лабужская Н. Д. Учебник.
Каждое составное высказывание можно выразить в виде формулы, в которую входят логические переменные, обозначающие высказывания, и знаки логических операций,
МОУ СОШ 7 п.Коммаяк Кировского района Ставропольского края Учитель высшей квалификационной категории Куликова Татьяна Ивановна.
Таблицы истинности Употребляемые в обычной речи логические связки в алгебре логики называются логическими операциями. Логические операции описываются.
Алгебра высказываний Угринович Н. Информатика и информационные технологии п Алгебра высказываний. – с.125.
Основные понятия алгебры логики. Логические операции. Урок 1: Урок 1:
Таблица истинности составных высказываний – это таблица, которая показывает какие значения принимает составное высказывание при всех сочетаниях значений.
Логической функцией называют функцию F(X 1, X 2, … X n ), аргументы которой X 1, X 2, … X n (логические переменные) и сама функция (логическая переменная)
Построение таблиц истинности логических выражений.
Презентация к уроку по информатике и икт по теме: Логические операции (презентация)
ОСНОВЫ ЛОГИКИ Кривенцов Леонид Александрович, учитель информатики и ИКТ МОУ-СОШ 4 г. Асино томской области.
Историческая справка Основы формальной логики заложил Аристотель ( гг. до н.э.)- древнегреческий философ и учёный.
ОСНОВЫ ЛОГИКИ. (С) Болгова Н.А ФОРМЫ МЫШЛЕНИЯ ЛОГИКА это наука о формах и законах человеческого мышления и, в частности, о законах доказательных.
Таблицы истинности Таблица истинности сложного логического выражения показывает соответствие между всевозможными наборами значений простых высказываний.
С помощью логических переменных и символов логических операций любое высказывание можно заменить логическим выражением ( формулой). Алгебра логики – это.
Транксрипт:

Таблицы истинности логических функций

Таблицей истинности логической функции принято называть табличное представление логической операции, в котором присутствуют все возможные сочетания значений входных переменных, и получаемые при этом значения выходных переменных (результатов логической операции).

Таблица истинности функции логического отрицания (инверсии):

Таблица истинности функции логического сложения (дизъюнкции):

Свойства дизъюнкции: X Y Y X; (X Y) Z X (Y Z); X 0 X, где 0 – тождественно ложное высказывание; X X 1; X 1 1, где 1 – тождественно истинное высказывание; X X X

Таблица истинности для функции логического умножения (конъюнкции):

Свойства конъюнкции: X & X X; X & Y Y & X; (X & Y) & Z X & (Y & Z); X & X 0; X & 0 0; где 0 – тождественно ложное высказывание X & 1 X, где 1 – тождественно истинное высказывание

Основные законы алгебры логики

Правила составления таблиц истинности для сложных логических функций Для любой логической функции можно построить таблицу истинности, которая определяет ее истинность или ложность при всех возможных комбинациях значений аргументов (логических переменных).

При построении таблиц истинности целесообразно придерживаться следующего алгоритма действий: 1. Сначала определяют количество строк в таблице истинности. Количество строк будет равно 2n, (где n – количество логических переменных) плюс строка заголовка. 2. Далее определяют количество столбцов в таблице истинности, оно равно количеству логических переменных плюс количество логических операций.

3. Затем строится таблица истинности с указанным количеством строк и столбцов, столбцы подписываются, в таблицу вносятся всевозможные наборы значений исходных логических переменных. 4.И, наконец, выполняются необходимые логические операции, таблица истинности заполняется по столбцам.

Составление таблицы истинности для логической функции Z = (A E) & (Ā Ē) 1. Определим количество строк в нашей таблице истинности. Мы имеем две логические переменные А и Е, следовательно, количество строк будет равно = 5. 2.Выясним, какое количество столбцов необходимо. У нас – две логические переменные, над которыми будет выполнено 5 логических операций это A E, Ā, Ē, Ā Ē и, наконец (A E) & (Ā Ē). Значит, нам понадобится 7 столбцов.

3. Построим таблицу, подпишем столбцы и заполним ее исходными значениями логических переменных. В результате должна получиться следующая таблица: Z = (A E) & (Ā Ē)

4. Теперь выполним необходимые операции и последовательно (слева направо) заполним все столбцы (A E) & (Ā Ē)Ā Ē ĒĀ A E EA