Компьютер понятие или суждение

Обновлено: 04.07.2024

При объяснении нового материала используется презентация (Приложение 1).

  • Логика – наука о формах и способах мышления
  • Логика изучает внутреннюю структуру процесса мышления
  • Алгебра логики – булева алгебра. Цель алгебры логики – описание поведения и структуры логических схем

Истинные высказывания правильно отражают свойства и отношения реальных вещей.

Ложные высказывания не соответствуют реальной действительности.

  • Истинное высказывание правильно отражает свойства и отношение реальных вещей (2*2=4).
  • Ложное высказывание не соответствует реальной действительности (2*2=5).

Логические операции задаются таблицами истинности.

Операция “ИЛИ” – “OR” – операция логического сложения:

Операция “И” – “AND” – операция логического умножения:

Операция “НЕ” – “NOT” – операция логического отрицания:

Импликация – логическое следование:

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

Составное высказывание, образованное с помощью логической операции эквивалентности, истинно тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны.

  • Логическое выражение – это выражение, которое включает в себя логические переменные, объединенные логическими операциями
  • Таблица истинности определяет истинность или ложностьсоставного высказывания

Определить истинность или ложность логического высказывания:

A AND B OR C AND A

Инверсия, логическое умножение, логическое сложение.

A B C A and B C and A A and B or C and A
0 0 0 0 0 0
0 0 1 0 0 0
0 1 0 0 0 0
0 1 1 0 0 0
1 0 0 0 0 0
1 0 1 0 1 1
1 1 0 1 0 1
1 1 1 1 1 1

Любое логическое выражение можно рассматривать как логическую функцию.

Логической функцией называют функцию F(x1, x2, …xn) – функция от логических переменных, которая может принимать значения либо логического “0”, либо логической “1”. Для каждой логической функции имеется таблица истинности логической функции.

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

Каждая логическая функция 2-х аргументов имеет 4 возможных набора значений аргументов: 00, 01, 10, 11.

N = 2 4 = 16 различных логических функций.

Законы алгебры логики:

Закон исключения третьего

Закон двойного отрицания

Вопросы по теме: “Основы логики и логические основы компьютера”:

Практические задания по теме

Построить таблицу истинности по булеву выражению:

1. F(x1, x2, x3) = x3 \/ (2 & x1 & x3)

2. F(x1, x2, x3) = 1 & 2 \/ x2 \/ x1 & x3

3. F(x1, x2, x3) = 1 & x2 & x3 \/ 1 \/ x2 \/ x3

1. Информатика и ИКТ. Профильный уровень: учебник для 10 класса / Н.Д. Угринович.

Читайте также: