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

Алгебра логики (алг.выск-й) – раздел мат.логики, в к-м изучаются лог.операции над выск-ями. Объектами алгебры высказываний являются высказывания. Высказывание – это истинное или ложное повествовательное предложение. Повествовательное предложение, в котором говорится об одном-единственном событии, называется простым высказыванием. Высказывания обозначаются большими буквами латинского алфавита. Если высказывание A истинно, то пишут A = 1, если ложно, то используют запись A = 0.

Высказывания строятся над мн-м {B,-(отрицание),^,\/,0,1}, где В –непустое мн-во, над элементами к-го определены 3 операции:

- - отрицание (унарная операция);

^ - конъюнкция (бинарная);

\/ - дизъюнкция (бинарная), а также константы – 0 (л) и лог. 1 (и).