На головну

Антідіз'юнкція

Результатом операції антідіз'юнкціі для висловлювання А?В буде істинна тільки тоді, коли обидва висловлювання помилкові. В інших випадках результатом операції завжди буде брехня.

Прімер_9: Дано висловлювання А= «Рим - столиця Росії» і В= «Москва - столиця Італії».

складне висловлювання А?В= «ні Рим-столиця Росії, ні Москва-столиця Італії »істинно, так як помилкові обидва висловлювання.

Зв'язки і частка «не» розглядаються в алгебрі логіки як операції над величинами, що набувають значення 0 (брехня / false) і 1 (істина / true), і результатом застосування цих операцій також є значення 0 або 1.

В алгебрі логіки логічні операції найчастіше описуються за допомогою таблиць істинності.

У таблиці 2 представлена ??таблиця істинності для операції заперечення (інверсія).

Таблиця істинності для операції «заперечення»

Таблиця 2

А  НЕ А

Прімер_10: Дана змінна А = 1(Істина). Після застосування операції інверсії для змінної А її значення стане рівним 0 (брехня).

У таблиці 3 представлені всі набори значень змінних А и В і значення операцій на цих наборах.

Таблиця істинності для основних бінарних логічних операцій

Таблиця 3

А В U U ® A ~ ? ?

Порядок виконання логічних операцій в складному логічному вираженні

Інверсія (заперечення)



інверсія | Реалізація еквіваленціі через інверсію, диз'юнкцію і кон'юнкцію
© um.co.ua - учбові матеріали та реферати