Алгебра логики – это математический аппарат, с помощью которого записывают, вычисляют, упрощают и преобразовывают логические высказывания.

Логическое высказывание – это любое повествовательное предложение, в отношении которого можно сказать
истинно оно или ложно.

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

Инверсия (логическое отрицание) – это операция, выражаемая связкой «не».

NOT A

в программировании

в алгебре логики

не A

на естественном языке

Инверсия (логическое отрицание) – это операция, выражаемая связкой «не».

NOT A

в программировании

в алгебре логики

не A

на естественном языке

Инверсия (логическое отрицание) – это операция, выражаемая связкой «не».

Инверсия делает истинное высказывание ложным и, наоборот, ложное – истинным.

Конъюнкция (логическое умножение) – операция объединения двух (или нескольких) высказываний в одно с помощью союза «и».

A AND B

в программировании

в алгебре логики

A и B

на естественном языке

Конъюнкция (логическое умножение) – операция объединения двух (или нескольких) высказываний в одно с помощью союза «и».

A AND B

в программировании

в алгебре логики

A и B

на естественном языке

Конъюнкция (логическое умножение) – операция объединения двух (или нескольких) высказываний в одно с помощью союза «и».

Конъюнкция истинна тогда и только тогда,

когда истинны все входящие в неё

простые высказывания.

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

A OR B

в программировании

в алгебре логики

A или B

на естественном языке

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

A OR B

в программировании

в алгебре логики

A или B

на естественном языке

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

Дизъюнкция ложна тогда и только тогда,

когда ложны все входящие в неё

простые высказывания.

Логическое выражение – это формула, в которую входят логические переменные, обозначающие высказывания, и знаки логических операций, обозначающие логические функции.

Слайд 1

Константин

2006-10-14T16:11:04