Таблицы истинности

Логическое значение формулы определяется заданными логическими значениями входящих в неё элементарных высказываний.

Пример. x1=1, x2=1, x3=0. Определить значение формулы

Если же ставится задача определить все возможные значения формулы, строится таблица истинности. В этой таблице начальные столбцы соответствуют исходным (элементарным) высказываниям, а последний результирующему (сложному) высказыванию. В начальных столбцах проставляются все возможные комбинации истинности элементарных высказываний, а в последнем истинность сложного высказывания. Каждой комбинации исходных высказываний в формуле соответствует отдельная строка. Число значений формулы (и число строк таблицы) определяется числом n элементарных высказываний и равно 2^n.