Основы логики
методическая разработка по информатике и икт (8 класс)

Слайд 1

Основы логики Логические величины Логические операции Таблицы истинности Логические формулы Логические элементы, схемы

Слайд 2

Логика (др.греч. λογικ ο ς ) – это наука о том, как правильно рассуждать, делать выводы, доказывать утверждения. Логическая величина – константа или переменная, принимающая значение ИСТИНА (1) или ЛОЖЬ (0). В алгебре логики высказывания обозначают буквами и называют логическими переменными .

Слайд 3

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

Слайд 4

Конъюнкция (логическое умножение) Конъюнкция - логическая операция, ставящая в соответствие каждым двум высказываниям новое высказывание, являющееся истинным тогда и только тогда, когда оба исходных высказывания истинны. Обозначения: ,  , & , И. Таблица истинности А В А & В 0 0 0 0 1 0 1 0 0 1 1 1 Графическое представление А В А & В

Слайд 5

Дизъюнкция (логическое сложение) Дизъюнкция - логическая операция, которая каждым двум высказываниям ставит в соответствие новое высказывание, являющееся ложным тогда и только тогда, когда оба исходных высказывания ложны. Обозначения: +, V , |, ИЛИ. Таблица истинности Графическое представление А В А В А V В 0 0 0 0 1 1 1 0 1 1 1 1 А V В

Слайд 6

Инверсия (логическое отрицание) Инверсия - логическая операция, которая каждому высказыванию ставит в соответствие новое высказывание, значение которого противоположно исходному. Обозначения: ¬ , ¯ , НЕ . Таблица истинности Графическое представление А Ā 0 1 1 0 А Ā

Слайд 7

Построение таблиц истинности для логических выражений 1. 2. Определить число строк в таблице: m = 2 n + 1, где n - число переменных в выражении. Определить число столбцов в таблице: число переменных в выражении + общее число логических операций в выражении.

Слайд 8

A B A&B A V A&B 0 0 0 0 0 1 0 0 1 0 0 1 1 1 1 1 А V A & B Количество логических переменных - 2. Количество логических операций - 2. Количество строк – 5. Количество столбцов - 4. Приоритет операций: &, V Пример построения таблицы истинности