Алгебра логики. Таблицы истинности

Поддержать канал (Сбербанк Visa): 4276 3020 0405 4663 Урок 11. Алгебра логики. Таблицы истинности Автор: Замиусская Ирина Юрьевна Видеоуроки Google Play - http://video-tutorial.ru/10/ мы узнаем: • об операциях строгая дизъюнкция, импликация, эквиваленция; познакомимся с понятиями предикат и логическая функция; мы научимся: • приводить примеры элементарных и составных высказываний; • вычислять значения логических выражений с логическими операциями конъюнкция, дизъюнкция, отрицание, импликация, строгая дизъюнкция, эквиваленция; • строить таблицы истинности и проводить их анализ; • различать высказывания и предикаты; • устанавливать связь между алгеброй логики и теорией множеств; мы сможем: • решать простейшие логические уравнения.