Следствие Множество всех характеристических векторов является булевой алгеброй.
Булева алгебра высказываний (алгебра логики)
Высказыванием об элементах множества U называется любое утверждение об элементах множества U, которое для каждого элемента либо истинно, либо ложно.
U = {1 2 3 4 5 6 7 8 9}
A = «число четное» B = «число, меньшее пяти»
Множеством истинности высказывания называется совокупность всех элементов, для которых это высказывание истинно.
SA = {2 4 6 8} SB = {1 2 3 4}
Высказывание, для которого множество истинности пусто, называется тождественно ложным, а для которого SB = U называется тождественно истинным.
Высказывания, для которых множества истинности совпадают, называются тождественными или равносильными. Равносильные высказывания объединим в один класс Р.В. и не будем их разделять, т.к. все они имеют одно и то же множество истинности.
Операции над высказываниями
Дизъюнкция высказываний (V, ИЛИ, OR). Дизъюнкция высказываний – высказывание, истинное тогда, когда истинно хотя бы одно из высказываний.
Конъюнкция высказываний (&, И, AND). Конъюнкцией высказываний называется высказывание, истинное тогда и только тогда, когда истинны все высказывания.
Отрицание высказываний (- над буквой, НЕ, NOT). Отрицанием высказывания называется высказывание, истинное только тогда, когда исходное высказывание ложно.
|A B |A & B A V B |Not A |
|Л Л |Л |Л |И |
|Л И |Л |И И |
|И Л |Л |И |Л |
|И И |И |И |Л |
Л – ложно.
И – истинно.
Утверждение (основа всей алгебры логики) Между множеством всех классов эквивалентных высказываний об элементах множества U и множеством P(U) можно установить взаимно однозначное соответствие, при котором операция дизъюнкции высказываний соответствует
Дата добавления: 2016-01-06; просмотров: 10; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!