При программировании таблицы истинности можно запрограммировать таблицу истинности с избыточным или недостаточным указанием. Переопределенная таблица истинности содержит по крайней мере одну комбинацию true или false, которая задается другим столбцом решения. Когда это происходит, действие, связанное с этим столбцом решения, не выполняется. Неполная таблица истинности возникает, когда в таблице истинности недостаточно столбцов принятия решений для учета всех возможных комбинаций истинности или ложности.
По умолчанию Stateflow ® сообщает об ошибке для таблиц с избыточным и неполным указанием истинности. Чтобы настроить настройки ошибок для таблиц истинности, откройте таблицу истинности. Открыв таблицу истинности, на вкладке Моделирование (Modeling) щелкните Свойства таблицы (Table Properties) и измените настройки для Недоопределение (Underspecification) или Переопределение (Oversspecification).
Таблицы истинности поддерживаются только в модели Simulink ®. Дополнительные сведения см. в разделе Использование таблиц истинности для моделирования комбинаторной логики.
Переопределенная таблица истинности содержит по крайней мере одно решение, которое никогда не выполняется, поскольку предыдущее решение указывает его в таблице условий. В следующем примере показана таблица условий для чрезмерно заданной таблицы истинности.
Решение в колонке D3 (-TT) определяет решения FTT и TTT. Эти решения являются дубликатами решений D1 (FTT) и D2 (TTT и TFT). Поэтому столбец D3 является избыточной спецификацией.
В следующем примере показана таблица условий таблицы истинности, которая, по-видимому, переопределена, но не указана.
При этом в постановлении D4 указываются два решения (TTT и FTT). FTT также появляется в решении D1, но TTT не является дубликатом. Поэтому эта таблица условий не является чрезмерно определенной.
Недоопределённая таблица истинности включает неопределённое поведение, поскольку в ней отсутствуют решения, охватывающие каждую комбинацию указанных условий.. В следующем примере показана таблица условий недоопределенной таблицы истинности.
Полный охват условий в предыдущей таблице истинности требует таблицы условий со всеми возможными решениями:
Во избежание недоопределения укажите действие для всех других возможных решений с помощью решения по умолчанию с именем DA:
Последний столбец решения, D4, является решением по умолчанию для таблицы истинности. Решение по умолчанию охватывает все остальные решения, не проверенные в предыдущих столбцах решения. Пример и более полное описание столбца решения по умолчанию для таблицы условий см. в разделе Столбец решения по умолчанию.