Начнем с логических выражений. Логическое выражение в программировании — конструкция языка программирования, результатом вычисления которой является «истина» или «ложь». Таким образом, это бинарные (1 или 0 соответственно) утверждения, на основе которых компьютер принимает решения. Бинарное утверждение — утверждение, на которое может быть ответом либо однозначное "верно", либо однозначное "неверно". Современный компьютеры построены на бинарной логике, то есть оперирует с битами (способными принимать значение либо 0, либо 1)...

В программировании и реальной жизни полно ситуаций, при которых нет никакой необходимости вникать в глубины решаемых задач. Все ясно при первом же рассмотрении темы. Но случается и так, что требуется подтвердить или опровергнуть выражение. Здесь в силу вступает так называемая логика высказываний. Соответствующий момент играет важную роль не только в жизни, но и в науках. Пример – математика, программирование, психология. Можно использовать разнообразную логику высказываний для подтверждения и опровержения результатов...