В чем особенности логического программирования на PascalABC?

Некоторые особенности логического программирования на PascalABC:

• Логический тип данных (boolean). pascalabc.net pas1.ru Переменные этого типа могут принимать только два значения: True (истина) и False (ложь). pascalabc.net pas1.ru
• Логические выражения. pascalabc.net Являются аналогом математической формулы, результатом их вычисления становится одна из двух логических констант. pascalabc.net Могут строиться на основе логического выражения с предшествующей ему урной операцией логического отрицания, двух арифметических выражений, связанных операцией отношения, или двух логических выражений, связанных логической операцией. pascalabc.net
• Логические операции. pas1.ru С их помощью можно формировать сложные логические выражения. pas1.ru В Pascal предусмотрены следующие логические операции: pas1.ru
• Конъюнкция (логическое умножение, пересечение) — and. pas1.ru Выражение a and b даёт значение True только в том случае, если a и b имеют значение True. pas1.ru
• Дизъюнкция (логическое сложение, объединение) — or. pas1.ru Выражение a or b даёт значение False только в том случае, если a и b имеют значение False. pas1.ru
• Отрицание (инверсия) — not. pas1.ru Выражение not a имеет значение, противоположное значению a. pas1.ru
• Исключающее ИЛИ — xor. pas1.ru Выражение a xor b даёт значение True только в том случае, когда только один из операндов имеет значение True. pas1.ru
• Условная операция. pascalabc.net По логике вычисления похожа на условный оператор, может существенно сократить запись алгоритма. pascalabc.net Имеет формат P?A:B, где P — логическое выражение, А и В — выражения, вычисление которых зависит от значения P. pascalabc.net Если P = True, вычисляется значение выражения А, если P = False, вычисляется значение выражения В. pascalabc.net