Слайд 2
![Логической (булевой) функцией называют функцию F(Х1, Х2, ..., Хn), аргументы](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/533968/slide-1.jpg)
Логической (булевой) функцией называют функцию F(Х1, Х2, ..., Хn), аргументы которой Х1, Х2, ...,
Хn (независимые переменные) и сама функция (зависимая переменная) принимают значения 0 или 1.
Каждая логическая функция двух аргументов имеет четыре возможных набора значений аргументов.
По формуле N=24 = 16, значит, существует 16 различных логических функций от двух переменных.
Слайд 3
![Таблица 1. Логические функции двух переменных](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/533968/slide-2.jpg)
Таблица 1. Логические функции двух переменных
Слайд 4
![Пример 1. По имеющимся таблицам истинности выразите через базовые логические](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/533968/slide-3.jpg)
Пример 1.
По имеющимся таблицам истинности выразите через базовые логические функции
(конъюнкцию, дизъюнкцию и отрицание) следующие функции:
а) F9(X, Y); б) F15(X, Y)
Из таблицы истинности видно, что F9(X, Y) = (отрицание дизъюнкции).
Из таблицы истинности видно, что F15(X, Y) = (отрицание конъюнкции).
Слайд 5
![ПРИМЕР 2. Импликация (логическое следование) - это логическая операция, ставящая](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/533968/slide-4.jpg)
ПРИМЕР 2.
Импликация (логическое следование) - это логическая операция, ставящая в
соответствие каждым двум простым высказываниям составное высказывание, являющееся ложным тогда и только тогда, когда условие (первое высказывание) истинно, а следствие (второе высказывание) ложно.
в естественном языке - если ..., то ...; когда …, тогда; коль скоро…, то и т.п.;
обозначения
Слайд 6
![ПРИМЕР 3. Эквивалентность (равнозначность) – это логическая операция, ставящая в](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/533968/slide-5.jpg)
ПРИМЕР 3.
Эквивалентность (равнозначность) – это логическая операция, ставящая в соответствие каждым
двум простым высказываниям составное высказывание, являющееся истинным тогда и только тогда, когда оба исходных высказывания одновременно истинны или одновременно ложны.
в естественном языке - тогда и только тогда; в том и только в том случае; если и только если;
обозначения Û ~, .
Слайд 7
![Пример 4 (в тетрадь) а) Дано сложное высказывание: «Если выглянет](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/533968/slide-6.jpg)
Пример 4 (в тетрадь)
а) Дано сложное высказывание: «Если выглянет солнце, то
станет тепло». Преобразовать к логической формуле.
Решение. А = «выглянет солнце», В = «станет тепло», логическая форма имеет вид А В.
б) Дано сложное высказывание: «Людоед голоден тогда и только тогда, когда он давно не ел». Преобразовать к логической формуле.
Решение. А = «людоед голоден», В = «он давно не ел», логическая формула имеет вид А В.
Слайд 8
![УСТНО Используя связку «ЕСЛИ..., ТО...», измените высказывания. Например: Человек, любящий](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/533968/slide-7.jpg)
УСТНО
Используя связку «ЕСЛИ..., ТО...», измените высказывания.
Например: Человек, любящий животных, —
добрый.
Если человек любит животных, то он — добрый.
Кончил дело — гуляй смело.
Знакомая дорога — самая короткая.
Тише едешь — дальше будешь.
Переходи улицу только на зеленый свет.
При встрече люди приветствуют друг друга.
В високосном году 366 дней.
Когда темнеет, зажигают фонари.
По стройке необходимо ходить в каске.
Слайд 9
![Пример 5. (в тетрадь) Определить истинность формулы: F = ((С](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/533968/slide-8.jpg)
Пример 5. (в тетрадь)
Определить истинность формулы: F = ((С v В)
В) & (А & В) В , построив таблицу истинности этой формулы.