Учитель информатики МАОУ СОШ 18 Борисова И. Н. A v B а в а + в А ~ В А | В А В. - презентация

1 Учитель информатики МАОУ СОШ 18 Борисова И. Н. A v B а в а + в А ~ В А | В А В

2 ЗАКОНЫ ЛОГИКИ Переместительный закон : A v B = B v A A v B = B v A Сочетательный закон : (A v B) v C = A v (B v C) (A ^ B) ^ C = A ^ (B ^ C) Распределительный з - н A v (B ^ C) = (A v B) ^ (A v C) A ^ (B v C) = (A ^ B) v (A ^ C) Закон непротиворечия : A ^ A = 0 т. е. высказывание не может быть одновременно истинным и ложным Закон исключенного третьего : : A ^ A = 1 означает : либо высказывание, либо его отрицание должно быть истинным Закон двойного отрицания : ( A) = А Закон де Моргана : (A v B) = A ^ В (A ^ B) = A v В

3 Логическое сложение а + в, или дизъюнкция a v b АВА+В

4 Логическое умножение а * в, или конъюнкция а & в АВА*В

5 Импликация, функция следования левая а в и правая а в а в = а + в АВА В АВ а в = а + в

6 Сложение по модулю 2, т. е. а + в А + В = А * В + А * В АВА + В

7 Функция тождества, или эквивалентность А ~ В А ~ В = А * В + АВ АВА ~ В

8 Функция Шеффера А | В А | В = А + В АВА | В

9 Стрелка Пирса А В А В = А * В АВА В