Правильные чрезмерно определенные и таблицы истинности Underspecified
Таблицы истинности реализуют проект комбинаторной логики в кратком, табличном формате. Таблицы истинности поддерживаются только в блоках Stateflow® в модели 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
underspecified таблица истинности испытывает недостаток в одном или нескольких возможных решениях, которые требуют, чтобы действие избежало неопределенного поведения. Следующий пример показывает Condition Table underspecified таблицы истинности.
Полный обзор условий в предыдущей таблице истинности требует Condition Table с каждым возможным решением:
Возможное обходное решение должно задать действие для всех других возможных решений посредством решения по умолчанию, названного DA:
Последний столбец решения является решением по умолчанию для таблицы истинности. Решение по умолчанию покрывает любые остающиеся решения, не протестированные в предыдущих столбцах решения. См. Столбец Решения По умолчанию для примера и больше полного описания столбца решения по умолчанию для Condition Table.