Свойство, доказывающее Используя блок таблицы истинности MATLAB

В этом примере показано, как проверить модель проекта напоминания о ремне безопасности, на которую ссылаются в главном блоке выше.