Алгебра высказываний.

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

В алгебре высказываний суждения (простым высказываниям) ставятся в соответствие логические переменные, обозначаемые буквами латинского алфавита. Высказывания могут принимать два значения: «истина» – 1, «ложь» - 0. Над высказываниями можно производить определенные логические операции, в результате которых получаются новые, составные высказывания.

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