Войти
Компьютерный журнал для новичков и профессионалов
  • Эксперт рассказал, как правильно заряжать аккумуляторы iPhone и iPad
  • Заводской сброс Philips S257 Телефон филипс сброс настроек стер контакты
  • От чего зависит качество фотоизображения От чего зависит качество изображений в фотоаппарате
  • Что делать, если ваш смартфон не заряжается
  • Как открыть текстовые файлы в телефоне
  • Как снять бан в Warface – способ
  • Логические величины операции выражения презентация. Логические величины, операции, выражения. (10 класс). Программирование полного и неполного ветвления

    Логические величины операции выражения презентация. Логические величины, операции, выражения. (10 класс). Программирование полного и неполного ветвления

    Прямое отношение к программированию имеет дисциплина, которая называется математической логикой. Основу математической логики составляет алгебра логики, или исчисление высказываний. Под высказыванием понимается любое утверждение, в отношении которого можно однозначно сказать, истинно оно или ложно. Например, «Луна - спутник Земли» - истинно; «5 > 3» - истинно; «Москва - столица Китая» - ложно; «1 = 0» - ложно. Истина или ложь являются логическими величинами. Логические значения приведенных выше высказываний однозначно определены; другими словами, их значения являются логическими константами.

    Логическое значение неравенства х < 0, где х - переменная, является переменной величиной. В зависимости от значения х оно может быть либо истиной, либо ложью. В связи с этим возникает понятие логической переменной.

    Основы формального аппарата математической логики создал в середине XIX в. английский математик Джордж Буль. В его честь исчисление высказываний называют булевой алгеброй, а логические величины - булевскими.

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

    Имеются три основные логические операции: отрицание, конъюнкция (логическое умножение) и дизъюнкция (логическое сложение).

    Операция отрицания обозначается в математической логике значком ¬ и читается как частица не. Это одноместная операция.

    Например, ¬ (x = у) читается «не (х равно y)». В результате получится истина, если х не равно у, и ложь, если х равно у. Отрицание изменяет значение логической величины на противоположное.

    Операция конъюнкции обозначается значком & и читается как частица и . Это двухместная операция. Например, (х > 0) & (х < 1) читается «х больше 0 и х меньше 1». Данная логическая формула примет значение истина, если х (0,1), и ложь - в противном случае. Следовательно, результат конъюнкции - истина, если истинны оба операнда. Знак операции дизъюнкции v читается как частица или. Например, (х = 0) v (х = 1) читается «х равно 0 или х равно 1». Формула дает истину, если х - двоичная цифра (0 или 1). Следовательно, дизъюнкция дает в результате истину, если хотя бы один операнд - истина.

    В Паскале логические значения обозначаются служебными словами false (ложь) и true (истина), а идентификатор логического типа - boolean.

    Кроме величин (констант и переменных) типа boolean логические значения false, true принимают результаты операций отношения.

    Операции отношения (рис. 18) осуществляют сравнение двух операндов и определяют, истинно или ложно соответствующее отношение между ними.

    Логические операции выполняются над операндами булева типа. Имеются четыре логические операции: Not - отрицание; And - логическое умножение (конъюнкция); Or - логическое сложение (дизъюнкция). Кроме этих трех обязательных операций в Турбо Паскале имеется еще операция - исключающее ИЛИ . Ее знак - служебное слово Хоr. Это двухместная операция, которая в результате дает значение истина, если оба операнда имеют разные логические значения.

    Операции отношения имеют самый низкий приоритет. Поэтому если операндами логической операции являются отношения, то их следует заключать в круглые скобки. Например, математическому неравенству 1 ≤ х ≤ 50 соответствует следующее логическое выражение:

    (1<=X) And (X<=50)

    Логическое выражение есть логическая формула, записанная на языке программирования. Логическое выражение состоит из логических операндов, связанных логическими операциями и круглыми скобками. Результатом вычисления логического выражения является булева величина (false или true). Логическими операндами могут быть логические константы, переменные, функции, операции отношения. Один отдельный логический операнд является простейшей формой логического выражения.

    Примеры логических выражений (здесь d, b, с - логические переменные; х, у - вещественные переменные; k - целая переменная):

    Если d=true; b=false; c=true; x=3.0; y=0.5; k=5, то результаты вычисления будут следующими:

    В примере использована логическая функция odd(k). Это функция от целого аргумента k, которая принимает значение true, если значение k нечетное, и false, если k четное.

    Логический оператор присваивания имеет структуру, представленную на рис. 19.

    Описание презентации по отдельным слайдам:

    1 слайд

    Описание слайда:

    Логические величины, операции, выражения. (10 класс) Выполнила: учитель информатики МБОУ Салганской СОШ-Глухова Т.И.

    2 слайд

    Описание слайда:

    К числу основных понятий логики относятся: Высказывание Логическая величина Логические операции Логические выражения Формулы

    3 слайд

    Описание слайда:

    Высказывание (суждение) – это повествовательное предложение, в котором что-либо утверждается или отрицается. По поводу любого высказывания можно сказать, истинно оно или ложно. Например: « На улице идёт дождь» будет истинным или ложным в зависимости от состояния погоды в данный момент. Истинность высказывания «Значение больше, чем », записанного в форме неравенства: > , будет зависеть от значений переменных и.

    4 слайд

    Описание слайда:

    Какие из предложений являются высказываниями? Определить их истинность. Какой длины эта лента? Прослушайте сообщение. Делайте утреннюю зарядку! Назовите устройство ввода информации. Кто отсутствует? Париж - столица Англии. Число 11 является простым. 4 + 5 = 10. Без труда не вытащишь и рыбку из пруда. Сложите числа 2 и 5. Некоторые медведи живут на севере. Все медведи - бурые. Чему равно расстояние от Москвы до Ленинграда?

    5 слайд

    Описание слайда:

    Логические величины – это понятия, выражаемые словами: ИСТИНА, ЛОЖЬ(true, false). Следовательно, истинность высказывания выражается через логические величины. Логическая переменная: символически обозначенная логическая величина. Например: если известно, что А,В,Х, Y и др. – переменные логические величины, то, значит они могут принимать значение только ИСТИНА или ЛОЖЬ. Логическое выражение – простое или сложное высказывание. Сложное высказывание строится на простых с помощью логических операций(связок)

    6 слайд

    Описание слайда:

    Логические операции Конъюнкция(логическое умножение) Двухместная операция, записывается в виде A & B. Значение такого выражения будет ЛОЖЬ, если значение хотя бы одного операнда ложно. Дизъюнкция(логическое сложение) Двухместная операция, записывается в виде A V B. Значение такого выражения будет ИСТИНА, если значение хотя бы одного операнда истинно. Отрицание – унарная(одноместная) операция. Записывается в виде ¬ А или Ā.

    7 слайд

    8 слайд

    Описание слайда:

    Логическая формула – формула, содержащая лишь логические величины и знаки логических операций. Результатом вычисления логической формулы является ИСТИНА или ЛОЖЬ Последовательность выполнения операций в логических формулах определяется старшенством операций. В порядке убывания старшенства логические операции расположены так: отрицание, конъюнкция, дизъюнкция. Кроме того, на порядок выполнения операций влияют скобки, которые можно использовать в логических формулах. Например: (A&B)v(Ā&B)v(Ā&В)

    9 слайд

    Описание слайда:

    Пример 1: Вычислить значение логической формулы ¬ X & Y v X & Z Если логические переменные имеют следующие значения: Х=ЛОЖЬ,Y= ИСТИНА, Z=ИСТИНА. Решение: Отметим цифрами сверху порядок выполнения операций в формуле: Используя таблицу истинности, вычислим формулу по шагам: ¬ ЛОЖЬ = ИСТИНА; ИСТИНА & ИСТИНА = ИСТИНА; ЛОЖЬ & ИСТИНА = ЛОЖЬ; ИСТИНА v ЛОЖЬ = ИСТИНА. ¬ X & Y v X & Z 1 2 3 4

    10 слайд

    Описание слайда:

    Пример 2 Определите значение логического выражения: не (X > Z) и не (X = Y), если: 1) X = 3, Y = 5, Z = 2; 2) X = 0, Y = 1, Z = 19; 3) X = 5, Y = 0, Z = -8; 4) X = 9,Y = -9, Z = 9.

    11 слайд

    Описание слайда:

    Логические функции на области числовых значений Алгебра чисел пересекаются с алгеброй логики в тех случаях, когда приходится проверять принадлежность значений алгебраических выражений некоторому множеству. Например, принадлежность значения числовой переменной Х множеству положительных чисел выражается через высказывание: «Х больше нуля». Символически это записывается так: Х > 0. В алгебре такое выражение называется неравенством, а в логике – отношением. Отношение Х>0 может быть истинным или ложным. Если Х положительная величина, то оно истинно, если отрицательная, то ложно. В общем виде отношение имеет следующую структуру: <выражение 1> <знак отношения> <выражение2> Знаки отношений: = ; <>; >; <; >= ; <=.

    12 слайд

    Описание слайда:

    Отношение – это простое высказывание, а значит логическая величина. Оно может быть как постоянной: 5>0 –всегда ИСТИНА, 3≠6:2 –всегда ЛОЖЬ; так и переменной:a0) или P(x,y)=(x

    13 слайд

    Описание слайда:

    Пример: Записать предикат(логическую функцию) от двух вещественных аргументов Xи Y , который будет принимать значение ИСТИНА, если точка на координатной плоскости с координатами X и Y лежит внутри единичной окружности с центром в начале координат. Решение: Из геометрических соображений понятно, что для всех точек, лежащих внутри единичной окружности, будет истинным значение следующей логической функции: F(X,Y)=(X2 +Y2 <1) Для значений координат точек, лежащих на окружности и вне её, значение функции Y будет ложным. 1 1 -1 0 Y X

    14 слайд

    Описание слайда:

    Логические выражения на Паскале Логические константы: true(истина), false(ложь). Логические переменные: описываются с типом Boolean. Операции отношения: осуществляют сравнение двух операндов и определяют, истинно или ложно соответствующее отношение между ними. Знаки операций отношения Логические операции: not –отрицание; and – логическое умножение(конъюнкция); or –логическое сложение (дизъюнкция); xor – исключение ИЛИ. Таблица истинности для этих операций(T- true, F-false) = ; <>; >; <; >= ; <=. A B not A A and B A or B AxorB T T F T T F T F F F T T F T T F T T F F T F F F

    Описание презентации ЛОГИЧЕСКИЕ ВЕЛИЧИНЫ, ОПЕРАЦИИ, ВЫРАЖЕНИЯ. (10 КЛАСС) по слайдам

    К числу основных понятий логики относятся: Высказывание Логическая величина Логические операции Логические выражения Формулы

    Высказывание (суждение) – это повествовательное предложение, в котором что-либо утверждается или отрицается. По поводу любого высказывания можно сказать, истинно оно или ложно. Например: « На улице идёт дождь» будет истинным или ложным в зависимости от состояния погоды в данный момент. Истинность высказывания «Значение больше, чем » , записанного в форме неравенства: > , будет зависеть от значений переменных и.

    Какие из предложений являются высказываниями? Определить их истинность. Какой длины эта лента? Прослушайте сообщение. Делайте утреннюю зарядку! Назовите устройство ввода информации. Кто отсутствует? Париж - столица Англии. Число 11 является простым. 4 + 5 = 10. Без труда не вытащишь и рыбку из пруда. Сложите числа 2 и 5. Некоторые медведи живут на севере. Все медведи — бурые. Чему равно расстояние от Москвы до Ленинграда?

    Логические величины – это понятия, выражаемые словами: ИСТИНА, ЛОЖЬ(true, false). Следовательно, истинность высказывания выражается через логические величины. Логическая переменная: символически обозначенная логическая величина. Например: если известно, что А, В, Х, Y и др. – переменные логические величины, то, значит они могут принимать значение только ИСТИНА или ЛОЖЬ. Логическое выражение – простое или сложное высказывание. Сложное высказывание строится на простых с помощью логических операций(связок)

    Логические операции Конъюнкция (логи ческое умножение) Двухместная операция, записывается в виде A & B. Значение такого выражения будет ЛОЖЬ, если значение хотя бы одного операнда ложно. Дизъюнкция (логи ческое сложение) Двухместная операция, записывается в виде A V B. Значение такого выражения будет ИСТИНА, если значение хотя бы одного операнда истинно. Отрицание – унарная(одноместная) операция. Записывается в виде ¬ А или Ā.

    Логическая формула – формула, содержащая лишь логические величины и знаки логических операций. Результатом вычисления логической формулы является ИСТИНА или ЛОЖЬ Последовательность выполнения операций в логических формулах определяется старшенством операций. В порядке убывания старшенства логические операции расположены так: отрицание, конъюнкция, дизъюнкция. Кроме того, на порядок выполнения операций влияют скобки, которые можно использовать в логических формулах. Например: (A&B)v(Ā&B)v(Ā&В)

    Пример 1: Вычислить значение логической формулы ¬ X & Y v X & Z Если логические переменные имеют следующие значения: Х=ЛОЖЬ, Y= ИСТИНА, Z=ИСТИНА. Решение: Отметим цифрами сверху порядок выполнения операций в формуле: Используя таблицу истинности, вычислим формулу по шагам: 1. ¬ ЛОЖЬ = ИСТИНА; 2. ИСТИНА & ИСТИНА = ИСТИНА; 3. ЛОЖЬ & ИСТИНА = ЛОЖЬ; 4. ИСТИНА v ЛОЖЬ = ИСТИНА. ¬ X & Y v X & Z

    ПРИМЕР 2 Определите значение логического выражения: не (X > Z) и не (X = Y), если: 1) X = 3, Y = 5, Z = 2; 2) X = 0, Y = 1, Z = 19; 3) X = 5, Y = 0, Z = -8; 4) X = 9, Y = -9, Z = 9.

    Логические функции на области числовых значений Алгебра чисел пересекаются с алгеброй логики в тех случаях, когда приходится проверять принадлежность значений алгебраических выражений некоторому множеству. Например, принадлежность значения числовой переменной Х множеству положительных чисел выражается через высказывание: «Х больше нуля» . Символически это записывается так: Х > 0. В алгебре такое выражение называется неравенством, а в логике – отношением. Отношение Х>0 может быть истинным или ложным. Если Х положительная величина, то оно истинно, если отрицательная, то ложно. В общем виде отношение имеет следующую структуру: Знаки отношений: = ; ; >; = ; <=.

    Отношение – это простое высказывание, а значит логическая величина. Оно может быть как постоянной: 5>0 –всегда ИСТИНА, 3≠ 6: 2 –всегда ЛОЖЬ; так и переменной: a0) или P(x, y)=(x

    Пример: Записать предикат(логическую функцию) от двух вещественных аргументов Xи Y , который будет принимать значение ИСТИНА, если точка на координатной плоскости с координатами X и Y лежит внутри единичной окружности с центром в начале координат. 1 1 -1 0 Y X Решение: Из геометрических соображений понятно, что для всех точек, лежащих внутри единичной окружности, будет истинным значение следующей логической функции: F(X, Y)=(X 2 +Y 2 <1) Для значений координат точек, лежащих на окружности и вне её, значение функции Y будет ложным.

    Логические выражения на Паскале Логические константы: true (истина), false (ложь). Логические переменные: описываются с типом Boolean. Операции отношения: осуществляют сравнение двух операндов и определяют, истинно или ложно соответствующее отношение между ними. Знаки операций отношения Логические операции: not –отрицание; and – логическое умножение(конъюнкция); or –логическое сложение (дизъюнкция); xor – исключение ИЛИ. Таблица истинности для этих операций(T- true, F-false) = ; ; >; = ; <=. A B not A A and B A or B A xor B T T F T F F F T T

    Логическое выражение может состоять из логических констант и переменных, отношений, логических операций. Логическое выражение принимает значение true или false. Например, логическая формула На Паскале запишется в виде следующего логического выражения: not X and Y or X and Z , где X, Y, Z –переменные Boolean. Логические переменные располагаются в следующем порядке по убыванию старшенства(приоритета): 1) not 2) and 3) or, xor. Операции отношения имеют самый низкий приоритет. Поэтому если операндами логической операции являются отношения, то их следует заключать в круглые скобки. Например, математическому неравенству 1≤ Х ≤ 50 соответствует следующее логическое выражение: (1<=X) and (X<=50)¬ X & Y v X & Z

    Логическая функция odd(x) – логическая функция определения четности аргумента, равна true , если x- нечетное, и равна false, если x- четное; trunc (x) – целочисленная функция от вещественного аргумента, возвращающая ближайшее целое число, не превышающее x по модулю.

    Для правильной записи сложного логического выражения(предиката) нужно учитывать относительные предикаты арифметических, логических операций и операций отношений, поскольку все они могут присутствовать в логическом выражении. По убыванию приоритета операции располагаются в следующем порядке: 1. Арифметические операции: -. (минус унарный) *, / +, — 2. Логические операции: not and or, xor 3. Операции отношения: =, >, =, <=

    Высказывание (суждение) - это повествовательное предложение, в котором что-либо утверждается или отрицается. По поводу любого высказывания можно сказать, истинно оно или ложно. Например:

    «Лед - твердое состояние воды» - истинное высказывание.

    «Треугольник, это геометрическая фигура» - истинное выска­зывание.

    «Париж - столица Китая» - ложное высказывание.

    6 < 5 - ложное высказывание.

    Логические величины: понятия, выражаемые словами: ИСТИ­НА, ЛОЖЬ (true, false). Следовательно, истинность высказываний выражается через логические величины.

    Логическая константа: ИСТИНА или ЛОЖЬ.

    Логическая переменная: символически обозначенная логическая величина. Следовательно, если известно, что А, В, X, Y и пр. - переменные логические величины, то это значит, что они могут принимать значения только ИСТИНА или ЛОЖЬ.

    Логическое выражение - простое или сложное высказывание. Сложное высказывание строится из простых с помощью логичес­ких операций (связок).

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

    Конъюнкция (логическое умножение). В русском языке она выражается союзом И. В математической логике используются знаки & или . Конъюнкция - двухместная операция; записывается в виде: А В. Значение такого выражения будет ЛОЖЬ, если значе­ние хотя бы одного из операндов ложно.

    Дизъюнкция (логическое сложение). В русском языке этой связ­ке соответствуют союз ИЛИ. В математической логике она обозна­чается знаком v. Дизъюнкция - двухместная операция; записыва­ется в виде: A v В. Значение такого выражения будет ИСТИНА если значение хотя бы одного из операндов истинно.

    Отрицание. В русском языке этой связке соответствует частица НЕ (в некоторых высказываниях применяется оборот «неверно что...»). Отрицание - унарная (одноместная) операция; записы­вается в виде: А или .

    Логическая формула (логическое выражение) - формула, содержащая лишь логические величины и знаки логических операций. Результатом вычисления логической формулы является ИСТИ­НА или ЛОЖЬ.

    Пример 1. Рассмотрим сложное высказывание: «Число 6 делит­ся на 2, и число 6 делится на 3». Представить данное высказывание в виде логической формулы. Обозначим через А простое высказывание «число 6 делится на 2», а через В простое высказывание «число 6 делится на 3». Toгда соответствующая логическая формула имеет вид: А & В. Очевидно, ее значение - ИСТИНА. Пример 2. Рассмотрим сложное высказывание: «Летом я поеду в деревню или в туристическую поездку».


    Обозначим через А простое высказывание «летом я поеду Я деревню», а через В - простое высказывание «летом я поеду в туристическую поездку». Тогда логическая форма сложного высказывания имеет вид

    Пример 3. Рассмотрим высказывание: «Неверно, что 4 делится на 3».

    Обозначим через А простое высказывание «4 делится на 3». Тогда логическая форма отрицания этого высказывания имеет вид А

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

    Последовательность выполнения операций в логических формулах определяется старшинством операций. В порядке убывания старшинства логические операции расположены так: отрицания, конъюнкция, дизъюнкция. Кроме того, на порядок операции влия­ют скобки, которые можно использовать в логических формулах.

    Приложения математической логики в базовом курсе

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

    Первое понятие о логической величине можно дать как ответ на альтернативный вопрос. Например: «Имеется ли данная книга в библиотеке?» или «Поступил ли абитуриент в университет», или «На улице идет дождь?» и т.п. Ответами на такие вопросы могут быть только «да» или «нет». Синонимами являются «истина», «ложь»; «true», «false». Если поле таблицы будет принимать только такие значения, то ему назначается логический тип.

    Например, реляционная база данных ФАКУЛЬТАТИВЫ со­держит сведения о посещении учениками трех факультативов по геологии, цветоводству и танцам. На реляционном языке ее струк­тура описывается так:

    ФАКУЛЬТАТИВЫ (УЧЕНИК . ГЕОЛОГИЯ, ЦВЕТОВОДСТВО, ТАНЦЫ)

    Поля ГЕОЛОГИЯ, ЦВЕТОВОДСТВО и ТАНЦЫ будут иметь логический тип. Значение ИСТИНА для каждого поля обозначает, что ученик посещает данный факультатив, а ЛОЖЬ - не посещает.

    Логические выражения используются в запросах к базе данных в качестве условий поиска. Логические выражения разделяются на простые и сложные. В простых выражениях всегда используется лишь одно поле табли­цы, и не применяются логические операции. В сложных логичес­ких выражениях используются логические операции. Простое логическое выражение представляет собой либо имя поля логичес­кого типа, либо отношение (в математике говорят «неравенство»). Отношения для числовых величин сохраняют смысл математи­ческих неравенств; при вычислении отношений для символьных величин учитывается лексикографический порядок; даты сравни­ваются в порядке их календарной последовательности.

    Основная проблема - научить учеников формальному представлению условий поиска в виде логических выражений. На­пример, от фразы «найти все книги, лежащие выше пятой полки» нужно перейти к логическому выражению: ПОЛКА > 5; или условие «выбрать всех неуспевающих по физике» представить в виде: ФИЗИКА < 3; или «выбрать все дни, когда шел дождь» ОСАДКИ = «дождь».

    Особое внимание надо обратить на использование полей логического типа в условиях поиска. Обычно к ним не применяются отношения. Логическое поле само несет логическое значение: «истина» или «ложь». Например, условие «выбрать всех учеников, посещающих танцы» представится одним именем логического поля ТАНЦЫ.

    Сложные логические выражения содержат в себе логические операции. Рассматриваются три основные операции математической логики: конъюнкция (И), дизъюнкция (ИЛИ), отрицание (НЕ).

    Обычно при объяснении этого вопроса учитель отталкивается от семантического смысла высказываний на русском языке, содержащих союзы И, ИЛИ, частицу НЕ. Например, высказывание: «Сегодня будет контрольная по алгебре И по физике» справедливо, если состоятся обе контрольные и ложно, если хотя бы одна не состоится. Другое высказывание: «Сегодня будет контрольная по алгебре ИЛИ по физике» будет истинным, если со­стоится хотя бы одна контрольная работа. И, наконец, высказы­вание: «Сегодня НЕ будет контрольной» истинно, если конт­рольная не состоится, т. е. если высказывание о том, что сегодня будет контрольная, оказывается ложным. Из подобных примеров учитель делает выводы о правилах выполнения логических опера­ций: если А и В - логические величины, то выражение

    А и В истинно только в том случае, если истинны оба операнда;

    А или В ложно только в том случае, если ложны оба операнда;

    Не А меняет значение логической величины на противопо­ложное: не истина - ложь; не ложь - истина.

    Составила: Антонова Е.П. 2008г.

    Слайд 2

    Логические величины

    Логические величины: понятия, выражаемые словами: ИСТИНА, ЛОЖЬ (true, false). Следовательно, истинность высказываний выражается через логические величины. Логическая константа: ИСТИНА или ЛОЖЬ.Логическая переменная: символически обозначенная логическая величина. Если A,B,X,Y и пр. - переменные логические величины, то это значит, что они могут принимать значения только ИСТИНА или ЛОЖЬ. Логическое выражение - простое или сложное высказывание. Сложное высказывание строится из простых с помощью логических операций (связок).

    Слайд 3

    Логические операции. Конъюнкция

    Конъюнкция (логическое умножение). В русском языке она выражается союзом И. В математической логике используются знаки & или /\. Конъюнкция - двухместная операция; записывается в виде: А /\ В. Значение такого выражения будет ЛОЖЬ, если хотя бы значение одного из операндов ложно.

    Слайд 4

    Логические операции. Дизъюнкция

    Дизъюнкция (логическое сложение). В русском языке этой связке соответствуют союз ИЛИ. В математической логике она обозначается знаком v. Дизъюнкция - двухместная операция; записывается в виде: A vB. Значение такого выражения будет ИСТИНА, если значение хотя бы одного из операндов истинно.

    Слайд 5

    Логические операции. Отрицание

    Отрицание. В русском языке этой связке соответствует частица НЕ (в некоторых высказываниях применяется оборот «неверно, что...»). Отрицание - унарная (одноместная) операция; записывается в виде: ¬А

    Слайд 7

    Пример

    Рассмотрим сложное высказывание: «Число 6 делится на 2, и число 6 делится на 3». Представить данное высказывание в виде логической формулы. Обозначим через А простое высказывание « число 6 делится на 2 », а через В простое высказывание «число 6 делится на 3». Тогда соответствующая логическая формула имеет вид: А & В. Очевидно, ее значение - ИСТИНА.

    Слайд 8

    Правила выполнения логических операций

  • Слайд 9

    Задача 1

    Сформулируйте высказывания на обычном языке для следующих логических выражений: 1) (X = 12) и (Y = 12) и (Z = 12); 2) (X 0) или (Y 0); 3) (X х Y 0); 4) (X х Y х Z 0).

    Слайд 10

    Задача 2

    Определите значение логического выражения: не (X > Z) и не (X = Y), если: 1) X = 3, Y = 5, Z = 2; 2) X = 0, Y = 1, Z = 19; 3) X = 5, Y = 0, Z = -8; 4) X = 9,Y = -9, Z = 9.

    Слайд 11

    Задача 3

    Определите значения логических переменных а, b с, d, если: 1) а и (Марс - планета) - истинное высказывание; 2) b и (Марс - планета) - ложное высказывание; 3) с или(Солнце - спутник Земли) - истинное высказывание; 4) d или (Солнце - спутник Земли) - ложное высказывание.

  • © 2005-2017, HOCHU.UA