Какие существуют методы построения таблиц истинности для логических функций?

Один из методов построения таблиц истинности для логических функций: www.napishem.ru www.yaklass.ru

1. Определить количество строк и столбцов в будущей таблице. www.napishem.ru Для этого используют формулы X = n + m, Y = 2n+1, где n — число переменных, m — число логических операций. www.napishem.ru
2. Заполнить верхнюю строку таблицы переменными и логическими операциями слева направо, учитывая их приоритетность. www.napishem.ru www.yaklass.ru
3. В первых столбцах перечислить все возможные комбинации входных значений. www.yaklass.ru
4. Выполнить заданные логические операции и заполнить все оставшиеся ячейки. www.napishem.ru www.yaklass.ru
5. Ответом будет являться последний столбец таблицы. www.yaklass.ru

Ещё один метод — построение дизъюнктивно нормальной формы (ДНФ): examer.ru

1. В таблице истинности функции выбирают наборы аргументов, для которых логические формы равны 1 («истина»). examer.ru
2. Все выбранные логические наборы как логические произведения аргументов записывают, последовательно соединив их между собой операцией логической суммы (дизъюнкции). examer.ru
3. Для аргументов, которые являются ложными, в построенной записи проставляют операцию отрицания. examer.ru