Библиотека интерактивных материалов

Теоретический материал по теме «Логические формулы и таблицы истинности», в котором вводится определение логической формулы и рассматриваются способы представления логических функций с помощью формул и в виде таблиц истинности.

Теоретический материал по теме «Логические функции», в котором вводится понятие логической функции, рассматриваются логические функции от двух переменных.

Теоретический материал по теме «Логические законы и правила преобразования логических выражений», в котором вводятся основные законы алгебры логики и правила преобразования логических формул, рассматривается три метода доказательства тождественности формул – с помощью логических рассуждений, с помощью тождественных преобразований и с помощью заполнения таблиц истинности.

Подборка практических заданий по теме «Логические формулы и таблицы истинности» на умение строить по логическим формулам таблицы истинности, выявлять тождественные формулы, тавтологии.

Подборка практических заданий по теме «Логические функции» на умение заполнять таблицы истинности для логических функций, знание обозначений различных логических функций от двух переменных, умение преобразования логических формул.

Подборка практических заданий по теме «Логические законы и правила преобразования логических выражений» на умение использовать основные законы алгебры логики для тождественных преобразований, умение доказывать тождественность формул.

Подборка проверочных заданий по теме «Логические законы и правила преобразования логических выражений» на умение использовать основные законы алгебры логики для тождественных преобразований, умение доказывать тождественность формул.

Подборка проверочных заданий по теме «Логические формулы и таблицы истинности» на умение строить по логическим формулам таблицы истинности, выявлять тождественные формулы, тавтологии.

Подборка проверочных заданий к главе 3 на умение строить отрицания к сложным и простым высказываниям, заполнение таблиц истинности, выполнение тождественных преобразований, решение логических задач.

Подборка проверочных заданий к главе 3 на умение строить СДНФ и СКНФ, минимизировать ДНФ, определять полноту функций, знание устройства дешифратора, сумматора и триггера.