Знакомы ли Вы с понятием "формальная логика"? Что такое конъюнкция и дизъюнкция? А импликация? В статье будут рассмотрены данные понятия. Надеюсь статья будет Вам полезна. Формальная логика (математическая логика) является важнейшей основой функционирования современных компьютеров. Мы используем законы формальной логики, когда делаем запрос на поиск информации в Интернете или базе данных или когда анализируем правильность математического вывода. Многие элементы компьютеров проектируются и работают на основе законов формальной логики...

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