Logic

Март 8, 2021

Содержание

2. Значения В алгебре логики переменные и выражения могут иметь только два значения: Истина; Ложь. Подобно древнегреческой
3. Отрицание ¬ Иными словами НЕ. Также обозначается полоской над переменной или функцией.
4. Конъюнкция ∧ Иными словами умножение или логическое И Таблица -- > истинности
5. Дизъюнкция ∨ Иными словами умножение или логическое ИЛИ
6. Импликация → Иными словами операция следования. Из истины не может следовать ложь.
7. Эквивалентность ≡ Если переменные равны, то функция истина.
8. XOR ⊕ Иными словами “исключающее ИЛИ”.
9. NB! Обратите внимание, что таблица истинности XOR соответствует отрицанию эквивалентности. Следовательно A ⊕ B = ¬
10. Законы В алгебре логики действуют те же правила, что и в обычной:
12. Скачать презентацию

Слайд 2

Значения
В алгебре логики переменные и выражения могут иметь только два значения:
Истина;
Ложь.
Подобно древнегреческой

Значения В алгебре логики переменные и выражения могут иметь только два значения:

логике.

Слайд 3

Отрицание ¬
Иными словами НЕ. Также обозначается полоской над переменной или функцией.

Отрицание ¬ Иными словами НЕ. Также обозначается полоской над переменной или функцией.

Слайд 4

Конъюнкция ∧
Иными словами умножение или логическое И
Таблица -- >
истинности

Конъюнкция ∧ Иными словами умножение или логическое И Таблица -- > истинности

Слайд 5

Дизъюнкция ∨
Иными словами умножение или логическое ИЛИ

Дизъюнкция ∨ Иными словами умножение или логическое ИЛИ

Слайд 6

Импликация →
Иными словами операция следования. Из истины не может следовать ложь.

Импликация → Иными словами операция следования. Из истины не может следовать ложь.

Слайд 7

Эквивалентность ≡
Если переменные равны, то функция истина.

Эквивалентность ≡ Если переменные равны, то функция истина.

Слайд 8

XOR ⊕
Иными словами “исключающее ИЛИ”.

XOR ⊕ Иными словами “исключающее ИЛИ”.

Слайд 9

NB!
Обратите внимание, что таблица истинности XOR соответствует отрицанию эквивалентности. Следовательно A ⊕

NB! Обратите внимание, что таблица истинности XOR соответствует отрицанию эквивалентности. Следовательно A

B = ¬ (A ≡ B)
А таблица истинности импликации соответствует ¬A ∨ B.
Следовательно: A → B = ¬A ∨ B

Слайд 10

Законы
В алгебре логики действуют те же правила, что и в обычной:

Законы В алгебре логики действуют те же правила, что и в обычной: