Для записи составного высказывания в виде логического выражения на формальном языке (языке алгебры логики) в составном высказывании нужно выделить простые высказывания и логические связи между ними. Истинность или ложность составных высказываний можно определять чисто формально, руководствуясь законами алгебры высказываний, не обращаясь к смысловому содержанию высказываний.
Таблицы истинности. Для каждого составного высказывания (логического выражения) можно построить таблицу истинности, которая определяет его истинность или ложность при всех возможных комбинациях исходных значений простых высказываний (логических переменных). При построении таблиц истинности целесообразно руководствоваться определенной последовательностью действий.
По кнопке ниже вы можете скачать методическую разработку «Логические выражения, таблицы истинности, логические схемы» категории «Факультативы по информатике» бесплатно. Будем благодарны, если вы оставите отзыв или посмотрите еще другие материалы на нашем сайте. Характеристики документа: «презентация».
Загрузка началась...
Понравился сайт? Получайте ссылки на лучшие материалы еженедельно!
Подарок каждому подписчику!