Логические функции

Слайд 2

Поставить в соответствие

Поставить в соответствие

Слайд 3

Поставить в соответствие

Поставить в соответствие

Слайд 4

Поставить в соответствие

Поставить в соответствие

Слайд 5

Поставить в соответствие

Поставить в соответствие

Слайд 6

Поставить в соответствие

Поставить в соответствие

Слайд 7

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

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

Объединение двух высказываний в одно с помощью оборота речи

«если …, то …».
Обозначение: А → В.
Таблица истинности
Слайд 8

Операция А → В равносильна логическому выражению Ā&B

Операция А → В равносильна логическому выражению Ā&B

Слайд 9

Операция А → В равносильна логическому выражению Ā&B

Операция А → В равносильна логическому выражению Ā&B

Слайд 10

Операция А → В равносильна логическому выражению Ā&B А → В = Ā&B

Операция А → В равносильна логическому выражению Ā&B
А → В

= Ā&B
Слайд 11

Логическое равенство (эквивалентность) Объединение двух высказываний в одно с помощью оборота

Логическое равенство (эквивалентность)

Объединение двух высказываний в одно с помощью оборота речи

«… тогда и только тогда, когда …».
Обозначение: А ~ В.
Таблица истинности