Формулы алгебры логики

Правила заполнения таблицы истинности формулы:

1) Таблица истинности формулы с п переменными содержит 2 ⁿ строк.

2) Наборы значений переменных располагают сверху вниз в лексикографическом порядке, т.е. каждый набор понимают как двоичную запись неотрицательного целого числа и располагают в порядке возрастания от (000... 0) до (111..1).

Порядок действий (приоритет операций) 1. Действия в скобках 2. Инверсия одной переменной () 3. 4. 5. 6. 7. Логические операции одного приоритета выполняются по порядку слева направо.

3) Определяют порядок действий с учетом приоритета операций.

4) Затем в соответствии с порядком действий последовательно заполняют столбцызначений подформул, из которых образуется формула. Последним заполняется столбец значений истинности формулы.

Не нашли, что искали? Воспользуйтесь поиском: