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