ЛОГИЧЕСКИ ОПЕРАЦИИ Основни
Логическите операции включват операции НЕ (НЕ), И (И), ИЛИ (ИЛИ). Тези операции трябва да се използват в логически изрази, които дават стойност TRUE или FALSE. Тези операции също водят до резултати TRUE или FALSE. Например в основата на израза
АКО A = C ТОГАВА 500
предполага се, че сравнява две логически стойности, разположени от двете страни на операцията И. Значението на такива изрази е лесно за разбиране, когато ги четете като фрази, написани на английски, но за пълнота по-долу
Ето таблица, в която AND е TRUE, а L е FALSE:
| Условен израз 1 | Условен израз 2 | Условно |
И условен израз 2
ИЛИ условен израз 2
Операторът NOT е с предимство пред другите логически оператори. Тя променя смисъла
ВЯРНО към НЕВЯРНО и обратно. Обърнете внимание, че операторът AND дава резултат TRUE само ако и двата условни израза дават TRUE, докато операторът OR дава TRUE във всички случаи, освен когато и двата условни израза дават FALSE. Отношенията по-долу са част от правилата за извод; в тях a, b и c означават логически стойности (TRUE или FALSE):
(a И b) И c = a И (b И c) (a ИЛИ b) ИЛИ c = a ИЛИ (b ИЛИ c) a И b = b И a a ИЛИ b =b ИЛИ a
a ИЛИ (b И c) = (a ИЛИ b) И (a ИЛИ c) a И (b ИЛИ c) = (a И b) ИЛИ (a И c)
докато действието НЕ се подчинява на правилата
НЕ (a И b) = (НЕ a) ИЛИ (НЕ b) НЕ (a ИЛИ b) = (НЕ a) И (НЕ b)
Последните правила са много полезни на практика за опростяване на трудни за разбиране изрази −
например на място
АКО НЕ (A > B И B C) ТОГАВА 500
За да има пълен набор от символни логически манипулации, в някои BASIC системи към описаните по-горе се добавят още три операции: XOR (в основната нотация на BBC се използва EOR), IMP и EQV, ефектът от които е показан в таблицата по-долу:
| Условен израз 1 | Условен израз 2 | Условно |
XOR условен израз 2
IMP условен израз 2
EQV условен израз 2
Резултатът от стандартната операция ИЛИ ще бъде TRUE, ако има първия операнд, или втория, или и първия, и втория. А ексклузивната операция XOR (exclusive OR - изключително ИЛИ) означава „или“ и прилагането й към операнди, които и двата са TRUE, води до FALSE резултат. Тази операция се използва по-често от други логически операции. Ако липсва, тогава може да се конструира от стандартни операции с помощта на релацията
a XOR b = (a ИЛИ b) И (НЕ (a И b) )
IMP е съкращение от импликация. Този термин се отнася до логическата последица, т.е. конструкцията „ако a, тогава b“. Разглеждането на горната таблица на истината показва, че тази конструкция води до ГРЕШЕН резултат само ако грешно заключение b следва от истинската предпоставка a.
EQV е съкращение от еквивалентност и е двупосочна импликация, означаваща „a ако и само ако b“. Тази операция може да се получи от проста импликация, като се използва връзката a EQV b=(a IMP b) И (b IMP a)
Източник: Walsh B. Основно програмиране: Per. от английски. М.: Радио и комуникация, 1988. 336 с:болен.