Истинность и ложность утверждений в логике определяются с помощью математических методов. 2 Раздел математической логики, в котором методы алгебры используются в логических преобразованиях, называется алгеброй логики. 2

Истинность или ложность простых высказываний определяется вне алгебры логики — с помощью наблюдений, научных исследований, практических опытов и так далее. 2 Например, истинность или ложность высказывания «Сумма углов треугольника равна 180°» устанавливается геометрией. 3

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

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