Вопрос№4 Последовательность построения таблицы истинности:

1. Определить количество N используемых переменных в логическом выражении.

2. Вычислить количество всевозможных наборов значений переменных M = 2^N , равное количеству строк в таблице.

3. Подсчитать количество логических операций в логическом выражении и определить количество столбцов в таблице, которое равно количеству переменных плюс количество логических операций.

4. Озаглавить столбцы таблицы названиями переменных и названиями логических операций.

5. Заполнить столбцы логических переменных наборами значений, например, от 0000 до 1111 с шагом 0001 в случае для четырех переменных.

6. Заполнить таблицу истинности по столбцам со значениями промежуточных операций слева направо.

7. Заполнить окончательный столбец значений для функции F.

Способы упрощения логических выражений: Упрощение логического выражения состоит в преобразовании его к более простому (по числу переменных, операций или операндов; не содержащему отрицаний неэлементарных формул) эквивалентному выражению путём использования основных законов алгебры логики. Наиболее простой вид получается при сведении функции постоянной – 1(истина) или 0 (ложь).

Преобразования бывают с помощью вынесения общего множителя за скобки, использования переместительного и сочетательного законов и т.п, использование распределительного закона для конъюнкции, законов поглощения, де Моргана, правило операций переменной с её инверсией и правило операций с константами