Задание

Установите порядок шагов алгоритма построения таблицы истинности для заданного логического выражения.

Подсчитать n — число переменных в выражении.

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

Установить последовательность выполнения логических операций с учётом скобок и приоритетов.

Определить число столбцов в таблице: число переменных + число операций.

Заполнить шапку таблицы, включив в неё переменные и операции в соответствии с последовательностью, установленной в п. 3.

Определить число строк в таблице (не считая шапки таблицы): m = 2n.

Выписать наборы входных переменных с учётом того, что они представляют собой ряд целых n-разрядных двоичных чисел от 0 до 2n.

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