'

18.10.06

Понравилась презентация – покажи это...





Слайд 0

Алгебра логики 18.10.06


Слайд 1

Логика - это наука о формах и способах мышления. Понятие; Высказывание; Умозаключение Основные формы мышления:


Слайд 2

это форма мышления, фиксирующая основные, существенные признаки объекта. Понятие - Содержание Объем


Слайд 3

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


Слайд 4

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


Слайд 5

В алгебре высказываний высказывания обозначаются именами логических переменных, которые могут принимать лишь два значения «истинно» и «ложно». Истинно =1 Ложно=0 Алгебра высказываний


Слайд 6

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


Слайд 7

Логическое отрицание -операция не - инверсия НЕ А А


Слайд 8

Логическое умножение - операция и - конъюнкция C=A&B


Слайд 9

Логическое сложение - операция или - дизъюнкция ИЛИ А В С C=A?B


Слайд 10

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


Слайд 11

Логические законы и правила преобразования логических выражений Закон тождества: всякое высказывание тождественно самому себе. А=А Закон непротиворечия: высказывание не может быть одновременно истинным и ложным. А & А=1 Закон исключенного третьего. Высказывание может быть истинным, либо ложным, третьего не дано. А ? А=1 Закон двойного отрицания: если дважды отрицать некоторое высказывание, то в результате мы получим исходное высказывание. А=А


Слайд 12

Логические законы и правила преобразования логических выражений Законы Моргана: А ? В=А & В А & В=А ? В


Слайд 13

Таблицы истинности Количество строк = 2 ?, где а – количество переменных; Количество столбцов = количество переменных + количество логических операций


Слайд 14

Пример F(A,B,C) = (A^B) ? (A ? C)


×

HTML:





Ссылка: