Главное меню  

   

Авторизация  

   
   
Хостинг в Украине
   


49.9%Russian Federation Russian Federation
24.5%Ukraine Ukraine
14.6%United States United States
1.9%Belarus Belarus
1.1%Romania Romania
0.8%Kazakhstan Kazakhstan
0.8%Czech Republic Czech Republic
0.7%United Kingdom United Kingdom
0.6%Republic Of Moldova Republic Of Moldova
0.6%Kuwait Kuwait

Сегодня: 46
Вчера: 315
На этой неделе: 1912
На прошлой неделе: 2232
В этом месяце: 6384
В прошлом месяце: 6131
Всего: 19365


   

Учитель информатики Бамбуркин С.П.

Записи

  • Главная
    Главная Страница отображения всех блогов сайта
  • Категории
    Категории Страница отображения списка категорий системы блогов сайта.

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

Добавлено : Дата: в разделе: Занимательная информатика

Логические операции и таблицы истинности

1) Логическое умножение или конъюнкция:

Конъюнкция - это сложное логическое выражение, которое считается истинным в том и только том случае, когда оба простых выражения являются истинными, во всех остальных случаях данное сложеное выражение ложно.
Обозначение: F = A & B; F = A и B; F = A and B; F = A /\ B

Таблица истинности для конъюнкции

A B F
1 1 1
1 0 0
0 1 0
0 0 0

 

2) Логическое сложение или дизъюнкция:

Дизъюнкция - это сложное логическое выражение, которое истинно, если хотя бы одно из простых логических выражений истинно и ложно тогда и только тогда, когда оба простых логических выраженныя ложны.
Обозначение: F = A + B; F = A или B; F = A or B; F = A V B

Таблица истинности для дизъюнкции

A B F
1 1 1
1 0 1
0 1 1
0 0 0

 

3) Логическое отрицание или инверсия:

Инверсия - это сложное логическое выражение, если исходное логическое выражение истинно, то результат отрицания будет ложным, и наоборот, если исходное логическое выражение ложно, то результат отрицания будет истинным. Другими простыми слова, данная операция означает, что к исходному логическому выражению добавляется частица НЕ или слова НЕВЕРНО, ЧТО.

Таблица истинности для инверсии

A неА
1 0
0 1

 

4) Логическое следование или импликация:

Импликация - это сложное логическое выражение, которое истинно во всех случаях, кроме как из истины следует ложь. Тоесть данная логическая операция связывает два простых логических выражения, из которых первое является условием (А), а второе (В) является следствием.

Таблица истинности для импликации

A B F
1 1 1
1 0 0
0 1 1
0 0 1

5) Логическая равнозначность или эквивалентность:

Эквивалентность - это сложное логическое выражение, которое является истинным тогда и только тогда, когда оба простых логических выражения имеют одинаковую истинность.

Таблица истинности для эквивалентности

A B F
1 1 1
1 0 0
0 1 0
0 0 1

 

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

1. Инверсия;
2. Конъюнкция;
3. Дизъюнкция;
4. Импликация;
5. Эквивалентность.

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

Редактировалось Дата:

Добавить комментарий


Защитный код
Обновить

   
© 2012 fordus.