Теория логических операций
- Дизъюнкция - логическая операция, которая объединяет два или более высказываний в одно новое высказывание. Дизъюнкция обозначается символом “v”. – Конъюнкция - логическая операция, объединяющая два или более высказывания в одно новое. Результатом конъюнкции является истина только тогда, когда все входящие в нее высказывания истинны. Конъюнкция обозначается символами “^” или “•”. – Инверсия - это логическая операция, при которой значение высказывания меняется на противоположное. Инверсия обозначается символом “~”...