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

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

2. Если логическое выражение имеет N переменных, то понадобится N умноженное на 2 строк, плюс строчка для названий данных. Теперь определите количество логических действий в утверждении. Столбиков в таблице будет столько, сколько вы насчитали действий, а количество строк равно количеству переменных. Зная эти данные нужно начертить таблицу.

3. На втором этапе, когда вы будете строить таблицу истинности, нужно заполнить клеточки таблицы соответствующими данными. Для удобства данные заполняются в виде соответствующего количества нулей и единиц.
Когда вы начнете заполнять таблицу истинности, рекомендуем начать с негативных данных. При заполнении отрицательных данных у вас не возникнет трудностей или сложностей. Затем поставьте значение логических операций, соответственно заголовкам столбиков вашей таблицы, поочередно заполняя все ячейки вашей таблицы истинности.

4. Строить таблицу истинности для сложного алгебраического выражения можно на основе простого алгоритма. Сначала определяем количество строчек по формуле 2^N плюс строчка для заголовка, где N-количество простых высказываний.

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