Логічні операції

Операція «НЕ» (інверсія, логічне заперечення, NOT). Запереченням називається операція утворення з висловлення А такого складеного висловлення (читається «не А»), яке істинне тоді, коли А хибне, і хибне тоді, коли А істинне. Логічна операція НЕ (інверсія) - логічне заперечення позначається або ¬A і читається так: "не А".
Заперечення - хибне тоді, коли А - істинне, і навпаки.

Кон'юнкція (лат. conjangere — об'єднувати) (операція AND) — Кон’юнкцією двох висловлень А та В називається операція утворення такого складеного висловлення А ˄ В (читається «А і В»), яке істинне тоді й тільки тоді, коли обидва висловлення А і В істинні.Операція передбачає вживання сполучника «і» в логічних висловлюваннях.

Диз'юнкція (лат. disjunctio — розділення) (операція OR) Диз’юнкцією двох висловлень А та В називається операція утворення такого складеного висловлення А ˅ В (читається «А або В»), яке істинне тоді й тільки тоді, коли істинне хоча б одне з висловлень А або В.