Содержание урока:
20.2. Логические функции (продолжение)
20.3. Составление логического выражения по таблице истинности и его упрощение
20.3. Составление логического выражения по таблице истинности и его упрощение (продолжение)
Ранее мы выяснили, что для любого логического выражения можно составить таблицу истинности. Справедливо и обратное: для всякой таблицы истинности можно составить соответствующее ей логическое выражение.
Алгоритм составления логического выражения по таблице истинности достаточно прост. Для этого надо:
1) отметить в таблице истинности наборы переменных, при которых значение логического выражения равно единице;
2) для каждого отмеченного набора записать конъюнкцию всех переменных следующим образом: если значение некоторой переменной в этом наборе равно 1, то в конъюнкцию включаем саму переменную, в противном случае — её отрицание;
3) все полученные конъюнкции связать операциями дизъюнкции.