SlideShare a Scribd company logo
1 of 2
1
Практическая работа 4
«Построение таблиц истинности для логических выражений»
Цели:
предметные - представление о таблице истинности для логического выражения;
метапредметные - навыки формализации и анализа логической структуры
высказываний; способность видеть инвариантную сущность внешне различных
объектов;
личностные - понимание роли фундаментальных знаний как основы
современных информационных технологий.
Решаемые учебные задачи:
1) проверка знания основных логических операций;
2) закрепление навыков формализации логических выражений;
3) рассмотрение алгоритма построения таблиц истинности;
4) отработка навыков построения таблиц истинности для логических
выражений.
Теоретические сведения.
Высказывание – это предложение на любом языке, содержание которого можно
однозначно определить как истинное или ложное.
Алгебра логики определяет правила записи, упрощения и преобразования
высказываний и вычисления их значений.
Конъюнкция – логическая операция, являющаяся истинным тогда и только
тогда, когда оба исходных высказывания истинны.
Дизъюнкция – логическая операция, являющаяся ложным тогда и только тогда,
когда оба исходных высказывания ложны.
Инверсия – логическая операция, которая в соответствие новое высказывание,
значение которого противоположно исходному.
Приоритет логических операций: инверсия, конъюнкция, дизъюнкция.
Источники информации:
1. Босова Л. Л. Информатика : учебник для 8 класса / Л.Л. Босова, А.Ю. Босова -
Москва : БИНОМ. Лаборатория знаний , 2015 - 160 с.
2. Босова Л. Л. Информатика : рабочая тетрадь для 8 класса в 2 частях. Ч.1 / Л.Л.
Босова, А.Ю. Босова - Москва : БИНОМ. Лаборатория знаний, 2016 - 88 с.
3. Босова Л. Л. Информатика : рабочая тетрадь для 8 класса в 2 частях. Ч.2 / Л.Л.
Босова, А.Ю. Босова - Москва : БИНОМ. Лаборатория знаний, 2016 - 88 с.
Ответы:
а)
б)
2
Построение таблиц истинности для логических выражений.
Постройте таблицы истинности для логических выражений:
а) A & B ∨ ¬ A & B б) (A ∨ B) & (¬ A ∨ B)
Построение таблиц истинности для логических выражений.
Постройте таблицы истинности для логических выражений:
а) A & B ∨ ¬ A & B б) (A ∨ B) & (¬ A ∨ B)
Построение таблиц истинности для логических выражений.
Постройте таблицы истинности для логических выражений:
а) A & B ∨ ¬ A & B б) (A ∨ B) & (¬ A ∨ B)
Построение таблиц истинности для логических выражений.
Постройте таблицы истинности для логических выражений:
а) A & B ∨ ¬ A & B б) (A ∨ B) & (¬ A ∨ B)
Построение таблиц истинности для логических выражений.
Постройте таблицы истинности для логических выражений:
а) A & B ∨ ¬ A & B б) (A ∨ B) & (¬ A ∨ B)
Построение таблиц истинности для логических выражений.
Постройте таблицы истинности для логических выражений:
а) A & B ∨ ¬ A & B б) (A ∨ B) & (¬ A ∨ B)
Построение таблиц истинности для логических выражений.
Постройте таблицы истинности для логических выражений:
а) A & B ∨ ¬ A & B б) (A ∨ B) & (¬ A ∨ B)
Построение таблиц истинности для логических выражений.
Постройте таблицы истинности для логических выражений:
а) A & B ∨ ¬ A & B б) (A ∨ B) & (¬ A ∨ B)

More Related Content

Similar to пр 4 таблица истинн.docx

18
1818
18JIuc
 
логика
логикалогика
логикаfinatalya
 
логика
логикалогика
логикаfinatalya
 
014
014014
014JIuc
 
9 1.3 - элементы алгебры логики
9 1.3 - элементы алгебры логики9 1.3 - элементы алгебры логики
9 1.3 - элементы алгебры логикиjula-mam
 

Similar to пр 4 таблица истинн.docx (7)

Основы логики
Основы логикиОсновы логики
Основы логики
 
18
1818
18
 
логика
логикалогика
логика
 
логика
логикалогика
логика
 
расчетная работа яруллина г.с.афбнк
расчетная работа яруллина г.с.афбнкрасчетная работа яруллина г.с.афбнк
расчетная работа яруллина г.с.афбнк
 
014
014014
014
 
9 1.3 - элементы алгебры логики
9 1.3 - элементы алгебры логики9 1.3 - элементы алгебры логики
9 1.3 - элементы алгебры логики
 

More from ssuser6d63bc1

пр 5 кодирование информации.docx
пр 5  кодирование информации.docxпр 5  кодирование информации.docx
пр 5 кодирование информации.docxssuser6d63bc1
 
пр 3 перевод чисел.docx
пр 3 перевод чисел.docxпр 3 перевод чисел.docx
пр 3 перевод чисел.docxssuser6d63bc1
 
пр 1 периферийные устройства.docx
пр 1 периферийные устройства.docxпр 1 периферийные устройства.docx
пр 1 периферийные устройства.docxssuser6d63bc1
 

More from ssuser6d63bc1 (17)

gthba ecn.docx
gthba ecn.docxgthba ecn.docx
gthba ecn.docx
 
прак 15.docx
прак 15.docxпрак 15.docx
прак 15.docx
 
пр 14.docx
пр 14.docxпр 14.docx
пр 14.docx
 
пр 11.docx
пр 11.docxпр 11.docx
пр 11.docx
 
пр 15.docx
пр 15.docxпр 15.docx
пр 15.docx
 
пр 13.docx
пр 13.docxпр 13.docx
пр 13.docx
 
пр 9 10.docx
пр 9 10.docxпр 9 10.docx
пр 9 10.docx
 
пр 12.docx
пр 12.docxпр 12.docx
пр 12.docx
 
пр 5 кодирование информации.docx
пр 5  кодирование информации.docxпр 5  кодирование информации.docx
пр 5 кодирование информации.docx
 
пр 3 перевод чисел.docx
пр 3 перевод чисел.docxпр 3 перевод чисел.docx
пр 3 перевод чисел.docx
 
пр 8.docx
пр 8.docxпр 8.docx
пр 8.docx
 
пр 2 ПО.docx
пр 2 ПО.docxпр 2 ПО.docx
пр 2 ПО.docx
 
пр 6-7.docx
пр 6-7.docxпр 6-7.docx
пр 6-7.docx
 
пр 1 периферийные устройства.docx
пр 1 периферийные устройства.docxпр 1 периферийные устройства.docx
пр 1 периферийные устройства.docx
 
лекция 3.docx
лекция 3.docxлекция 3.docx
лекция 3.docx
 
Лекция 2.docx
Лекция 2.docxЛекция 2.docx
Лекция 2.docx
 
лекция1.docx
лекция1.docxлекция1.docx
лекция1.docx
 

пр 4 таблица истинн.docx

  • 1. 1 Практическая работа 4 «Построение таблиц истинности для логических выражений» Цели: предметные - представление о таблице истинности для логического выражения; метапредметные - навыки формализации и анализа логической структуры высказываний; способность видеть инвариантную сущность внешне различных объектов; личностные - понимание роли фундаментальных знаний как основы современных информационных технологий. Решаемые учебные задачи: 1) проверка знания основных логических операций; 2) закрепление навыков формализации логических выражений; 3) рассмотрение алгоритма построения таблиц истинности; 4) отработка навыков построения таблиц истинности для логических выражений. Теоретические сведения. Высказывание – это предложение на любом языке, содержание которого можно однозначно определить как истинное или ложное. Алгебра логики определяет правила записи, упрощения и преобразования высказываний и вычисления их значений. Конъюнкция – логическая операция, являющаяся истинным тогда и только тогда, когда оба исходных высказывания истинны. Дизъюнкция – логическая операция, являющаяся ложным тогда и только тогда, когда оба исходных высказывания ложны. Инверсия – логическая операция, которая в соответствие новое высказывание, значение которого противоположно исходному. Приоритет логических операций: инверсия, конъюнкция, дизъюнкция. Источники информации: 1. Босова Л. Л. Информатика : учебник для 8 класса / Л.Л. Босова, А.Ю. Босова - Москва : БИНОМ. Лаборатория знаний , 2015 - 160 с. 2. Босова Л. Л. Информатика : рабочая тетрадь для 8 класса в 2 частях. Ч.1 / Л.Л. Босова, А.Ю. Босова - Москва : БИНОМ. Лаборатория знаний, 2016 - 88 с. 3. Босова Л. Л. Информатика : рабочая тетрадь для 8 класса в 2 частях. Ч.2 / Л.Л. Босова, А.Ю. Босова - Москва : БИНОМ. Лаборатория знаний, 2016 - 88 с. Ответы: а) б)
  • 2. 2 Построение таблиц истинности для логических выражений. Постройте таблицы истинности для логических выражений: а) A & B ∨ ¬ A & B б) (A ∨ B) & (¬ A ∨ B) Построение таблиц истинности для логических выражений. Постройте таблицы истинности для логических выражений: а) A & B ∨ ¬ A & B б) (A ∨ B) & (¬ A ∨ B) Построение таблиц истинности для логических выражений. Постройте таблицы истинности для логических выражений: а) A & B ∨ ¬ A & B б) (A ∨ B) & (¬ A ∨ B) Построение таблиц истинности для логических выражений. Постройте таблицы истинности для логических выражений: а) A & B ∨ ¬ A & B б) (A ∨ B) & (¬ A ∨ B) Построение таблиц истинности для логических выражений. Постройте таблицы истинности для логических выражений: а) A & B ∨ ¬ A & B б) (A ∨ B) & (¬ A ∨ B) Построение таблиц истинности для логических выражений. Постройте таблицы истинности для логических выражений: а) A & B ∨ ¬ A & B б) (A ∨ B) & (¬ A ∨ B) Построение таблиц истинности для логических выражений. Постройте таблицы истинности для логических выражений: а) A & B ∨ ¬ A & B б) (A ∨ B) & (¬ A ∨ B) Построение таблиц истинности для логических выражений. Постройте таблицы истинности для логических выражений: а) A & B ∨ ¬ A & B б) (A ∨ B) & (¬ A ∨ B)