Логическая электронная таблица — это электронная таблица , в которой формулы имеют форму логических ограничений, а не определений функций.
В традиционных системах электронных таблиц , таких как Excel , ячейки делятся на «непосредственно указанные» ячейки и «вычисляемые» ячейки, а формулы, используемые для указания значений вычисляемых ячеек, являются «функциональными», т. е. для каждой комбинации значений непосредственно указанных ячеек формулы указывают уникальные значения для вычисляемых ячеек. Логические электронные таблицы смягчают эти ограничения, отказываясь от различия между непосредственно указанными ячейками и вычисляемыми ячейками и обобщая функциональные определения до логических ограничений.
В качестве иллюстрации разницы между традиционными и логическими электронными таблицами рассмотрим простую числовую электронную таблицу с тремя ячейками a, b и c. Каждая ячейка принимает одно целое число в качестве значения; и существует формула, утверждающая, что значение третьей ячейки является суммой значений двух других ячеек.
Реализованная как традиционная электронная таблица, эта электронная таблица позволит пользователю вводить значения в ячейки a и b, и она автоматически вычислит ячейку c. Например, если пользователь введет 1 в a и 2 в b, она вычислит значение 3 для c.
Реализованная как логическая электронная таблица, пользователь сможет вводить значения в любые ячейки. Пользователь может ввести 1 в a и 2 в b, и электронная таблица вычислит значение 3 для c. В качестве альтернативы пользователь может ввести 2 в b и 3 в c, и электронная таблица вычислит значение 1 для a. И так далее.
В этом случае формула функциональна, а функция обратима. В общем случае формулы не обязательно должны быть функциональными, а функции не обязательно должны быть обратимыми. Например, в этом случае мы могли бы написать формулы, включающие неравенства и необратимые функции (такие как квадратный корень). В более общем случае мы могли бы построить электронные таблицы с символическими, а не числовыми данными и написать произвольные логические ограничения на этих данных.