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

ЗАКОНЫ ЛОГИКИ Переместительный закон : 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 В

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

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

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

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

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

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

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