logo
Підручник МЕДИЧНА ІНФОРМАТИКА

Операція еквівалентності

Введемо останню логічну операцію  еквівалентність. Вона позначається знаком «». Складне висловлення «АВ» читається так: «А еквівалентно В». Означимо цю операцію:

Еквівалентністю (подвійною імплікацією) висловлень А і В називається таке висловлення, яке є істинним тоді і тільки тоді, коли висловлення А і В одночасно істинні або хибні. Таблиця істинності еквіваленції подана нижче.

Таблиця істинності імплікації Таблиця істинності еквівалентності

A

B

A  B

A

B

A  B

1

1

1

1

1

1

1

0

0

1

0

0

0

1

1

0

1

0

0

0

1

0

0

1