Задание

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

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