Презентация, доклад по информатике Алгебра логики (10-11класс)

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

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

языке. Формальная математическая логика решает проблемы проверки правильности рассуждений в естественном языке(реальный мир), строя свои модели и правила их преобразования. Для этого логика вводит языки – систему формальных обозначений(формулы) и правила их преобразования. Поэтому логику можно рассматривать, как множество манипуляций с правилами и формулами, описывающими утверждения естественного языка.

алгебры. Булева алгебра - серьёзная наука, для работы в которой умения считать до двух недостаточно. Основной задачей теории булевых функций является разработка систематического метода построения сложных функций из более простых.

В данной таблице даны две переменные “p” и “q”. Функция p ^ q называется функцией И, или конъюнкцией. Знак конъюнкции часто опускают, иногда в качестве знака конъюнкции используют точку, или &.
У логического выражения конъюнкции есть ОДНО правило: все выражения должны быть истинными(то есть 1) иначе 0.

таблице даны две переменные “p” и “q”. Функция p v q называется функцией ИЛИ, или дизъюнкцией. Правило для дизъюнкции: все выражения должны быть ложными(то есть 0) иначе 1.

две переменные “p” и “q”. Функция p -> q называется функцией логического следования, или импликацией. Правило для импликации: если все выражения одинаковы по высказыванию(то есть только 1111 или 0000), то это всё выражение истинно(то есть 1), иначе смотрим на логический показатель последнего выражения(то есть на “q”), каким он будет, таким и будет всё выражение.

таблице даны две переменные “p” и “q”. Функция p + q называется функцией сложение по модулю два(в англоязычной литературе её называют XOR- eXclusive OR). Правило для функции сложение по модулю два: если все выражения одинаковы по высказыванию(то есть только 1111 или 0000), то это всё выражение ложно(то есть 0), иначе 1.

две переменные “p” и “q”. Функция p <-> q называется функцией эквивалентности. Правило для эквивалентности : если все выражения одинаковы по высказыванию(то есть только 1111 или 0000), то это всё выражение истинно(то есть 1), иначе 0.

две переменные “p” и “q”. Функция p | q называется функцией НЕ-И, или штрих Шеффера. Правило для штрих Шеффера : правило: все выражения должны быть истинными(то есть 1), тогда выражение будет иметь логический 0, иначе 1.

таблице даны две переменные “p” и “q”. Функция p q называется функцией НЕ-ИЛИ, или стрелка Пирса. Правило для стрелка Пирса : правило: все выражения должны быть ложными(то есть 0), тогда выражение будет иметь логический 1, иначе 0.

Построить таблицы истинности для следующих формул:
1. А v (B v (не B)=>(не С);
2. A^(B^(не B)->(не С));
3.A v (B v (не B) ^ A v (B->C)).

высказывание, имеющее ту же таблицу истинности,что и не (не А и не (B и C).
1. А и B или C и А;
2. (А или B) и (А или С);
3. А и (B или С);
4. А или (не B или не С);

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

Ананко Кости.