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

1.

2.

В алгебре высказываний суждениям (простым
высказываниям) ставятся в соответствие
логические переменные обозначаемые
прописными буквами латинского алфавита.
Высказывания могут быть истинными и ложными
(1 и 0 соответственно)
Рассмотрим два простых высказывания:
A=«Два умножить на два равно четыре»
В=«Два умножить на два равно пять»

3.

A=«Два умножить на два равно четыре»=1
В=«Два умножить на два равно пять»=0

4.

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