Господин Экзамен

Математическая логика по шагам

С верным решением ты станешь самым любимым в группе❤️😊

    • Использовать символическую логику и алгебру логики
    • Расставлять скобки в выражении, учитывая приоритет операций
    • Упрощать логические выражения
    • Строит таблицу истинности для введённых формул
    • Найти нормальные формы логического выражения:
      • Конъюнктивную нормальную форму (КНФ), в том числе совершенную
      • Дизъюнктивную нормальную форму (ДНФ), в том числе совершенную

    Примеры логических выражений

    Поддерживаемые символы в логических выражениях

    Здесь указаны символы, которые стоит указывать при вводе логической формулы в калькулятор

    ¬a
    отрицание
    a⇒b
    импликация
    a∧b
    конъюкция
    a∨b
    дизъюнкция
    a⇔b
    эквиваленция
    a⊕b
    – сложение по модулю 2 ( Исключающее или)
    a|b
    – Не-и (штрих Шеффера)
    a↓b
    – Не-или (стрелка Пирса)
    a⊙b
    – XNOR gate ( Исключающее ИЛИ с инверсией)

    В калькуляторе вы можете упростить выражения, содержащие следующие операции: NOT, XOR, AND, OR, NAND, NOR, NOT, XNOR