Например, логическое выражение abc+abc+abc необходимо ввести так: a*b*c+a*b=c+a=b*c Для ввода данных в виде логической схемы используйте этот сервис. Для булевой функции, заданной вектором значений (например, 00111011 ) используйте ввод данных через таблицу.
Правила ввода логических функций.
- Используйте знак + вместо v (логическое ИЛИ, OR).
- Перед булевыми функциями не нужно указывать имя функции. Например, вместо F(x, y) = (x | y) = (x ^ y) введите (x | y) = (x ^ y).
- Максимальное количество переменных — 10.
- Вербальное описание — это форма, используемая на ранних стадиях планирования и имеющая условное выражение.
- Объяснение булевых алгебраических функций в виде таблиц истинности.
- Объяснение булевых алгебраических функций в виде алгебраических выражений: используются две алгебраические формы ФАЛ: a) ДНФ — избранная стандартная форма является логическим ИЛИ основного логического произведения. ДНФ получается из таблицы истинности по следующему алгоритму или правилу: 1) В таблице выбирается строка переменных, выходная функция которых = 1. (2) Для каждой серии переменных записывается логическое произведение — =0 переменные записываются в обратном порядке. 3) Полученный продукт логически суммируется. Fdnf = X1* вата.2* вата.3 ? X1 Летучие мыши.2H3 ? X1H2 Летучие мыши.3 ? X1H2H3 ДНФ называется полной, если все переменные расположены в том же порядке, т.е. если каждое произведение должно содержать все переменные в прямой или обратной форме. (b) ANF — Стандартная форма конъюнкции является логическим продуктом базовой дизъюнкции. KNF может быть получена из таблицы истинности с помощью следующего алгоритма: 1) выберите набор переменных, для которых выходная функция = 0. 2) для каждого набора переменных напишите основную логическую сумму. . 3) Логически перемножьте полученные суммы. Fsknf = (X1 VX2 VX3) ? (X1 VX2 Fsknf = (X3) ? (X1 Fsknf = (X2 VX3(X) ? (X)1 VX2 VX3) КНФ называется полной, если порядок всех переменных одинаков.
Все операции в логической алгебре определяются таблицей истинности. Таблица истинности определяет результат операции над всеми возможными логическими значениями первого высказывания. Количество вариантов, отражающих результат операции, зависит от количества утверждений в логическом выражении. Если количество высказываний в логическом выражении равно N, то таблица истинности содержит 2N строк, поскольку существует 2 N различных комбинаций возможных значений предела.