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

Операція «НЕ» (інверсія, логічне заперечення, NOT). Нехай є деяке висловлювання А. Заперечення цього висловлювання позначається`(прийнято читати: не А). Якщо висловлювання А правдиве (А = 1), то висловлювання неправдиве (`A = 0). Якщо висловлювання А неправдиве (А = 0), то висловлювання `A правдиве (= 1). Отже, для логічного заперечення справедливе таке правило:

= 1

= 0

Позначення операції в схемах логічних перетворень:

Операція «І» (кон’юнкція, логічне множення, AND). Операцію логічного множення двох змінних А і В позначають А Ù В (прийнято читати: А і В). Висловлювання А Ù В правдиве (А Ù В= 1) тільки в тому випадку, якщо одночасно правдиве А (А = 1) і правдиве В (В = 1). У всіх інших випадках це висловлювання неправдиве, тобто А Ù В= 0. Отже, при логічному множенні справедливе наступне правило: