slide1 n.
Download
Skip this Video
Loading SlideShow in 5 Seconds..
Алгебра логики – II часть PowerPoint Presentation
Download Presentation
Алгебра логики – II часть

Loading in 2 Seconds...

play fullscreen
1 / 10

Алгебра логики – II часть - PowerPoint PPT Presentation


  • 173 Views
  • Uploaded on

Алгебра логики – II часть. Повторение пройденного. конъюнкция – Логическое умножение. Объединение двух (или нескольких) высказываний в одно с помощью союза «и» . Составное высказывание истинно только тогда, когда истины оба простых высказывания. Обозначение: « & », « ^ »

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about 'Алгебра логики – II часть' - damian


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
slide3
конъюнкция – Логическое умножение
  • Объединение двух (или нескольких) высказываний в одно с помощью союза «и».
  • Составное высказывание истинно только тогда, когда истины оба простых высказывания.
  • Обозначение: «&», «^»
  • В языках программирования: and;
  • Таблица истинности:
slide4
Дизъюнкция – логическое сложение
  • Объединение двух (или нескольких) высказываний в одно с помощью союза «или».
  • Составное высказывание истинно тогда, когда истинно хотя бы одно из двух простых высказывания.
  • Обозначение: «V»
  • В языках программирования: or
  • Таблица истинности:
slide5
Инверсия – логическое отрицание
  • Присоединение частицы «не» к высказыванию.
  • Инверсия делает истинное высказывание ложным. И наоборот.
  • Обозначение: «Ā»
  • В языках программирования: not
  • Таблица истинности:
slide7
Импликация – логическое следование
  • Импликация образуется соединением двух высказываний в одно с помощью оборота речи «если…, то…».
  • Импликация ложна только тогда, когда из истинного первого высказывания (предпосылки) следует ложный вывод (второе высказывание).
  • Обозначение: «А В»
  • В языках программирования: if … then …
  • Таблица истинности:
slide8
Эквивалентность – логическое равенство
  • Эквивалентность образуется соединением двух высказываний в одно с помощью оборота речи «тогда и только тогда, когда».
  • Составное высказывание, образованное с помощью логической операции эквивалентности истинно тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны.
  • Обозначение: «А≡В», «А~B»
  • Таблица истинности:
slide9
Законы логики

Закон тождества

Всякое высказывание тождественно самому себе.

А=А

Закон непротиворечия

Высказывание не может быть одновременно истинным и ложным.

Закон исключенного третьего

Высказывание может быть либо истинным, либо ложным, третьего не дано.

Закон двойного отрицания

Если дважды отрицать некоторое высказывание, то получим исходное высказывание.

slide10
Правила преобразования выражений

Законы де Моргана

Закон коммутативности

A & B = B & A

A v B = B v A

Закон ассоциативности

(A & B) & C = A & (B & C)

(A v B) v C = A v (B v C)

Закон дистрибутивности

(A & B) v (A & C) = A & (B v C)

(A v B) & (A v C) = A v (B & C)