Построение таблиц истинности для логических выражений Для логического выражения можно построить таблицу истинности, показывающую, какие значения принимает выражение при всех наборах значений входящих в него переменных. Для построения таблицы истинности следует: 1. Подсчитать n — число переменных в выражении; 2. Подсчитать общее число логических операций в выражении; 3. Установить последовательность выполнения логических операций с учётом скобок и приоритетов; 4. Определить число столбцов в таблице: число переменных + число операций; 5. Заполнить шапку таблицы, включив в неё переменные и операции в соответствии с последовательностью, установленной в п. 3; 6. Определить число строк в таблице (не считая шапки таблицы): m=2 n ; 7. Выписать наборы входных переменных с учётом того, что они представляют собой целый ряд n-разрядных двоичных чисел от 0 до 2 n −1; 8. Провести заполнение таблицы по столбцам, выполняя логические операции в соответствии с установленной последовательностью.