Операція заперечення.

Домовимося позначати прості висловлення літерами латинського алфавіту: А, В, С... Значення логічної функції будемо позначати цифрою 1 для «ІСТИНА» і 0 для «ХИБА».

Розгляд логічних операцій розпочнемо з найпростішої  операції заперечення, яка відповідає в звичайній мові частці «не». Цю операцію позначають знаком ^ (інколи висловлення ^А позначають також ). Висловлення ^А читається так: «не А».

Якщо А  деяке висловлення, наприклад, «у пацієнта виявлено пневмонію», то ^А  нове складене висловлення «у пацієнта не виявлено пневмонію». Легко бачити, що якщо А  істинне висловлення, то ^А  хибне і навпаки. Цей факт покладено в основу визначення логічної операції «^»:

Висловлення називається запереченням висловлення А, якщо воно істинне, коли А – хибне і хибне, коли А – істинне. Дію операції подамо у вигляді таблиці (або матриці) істинності для заперечення:

Таблиця 17. Таблиця істинності для заперечення