В информатике существует раздел алгебры логики, ключевыми объектами которого являются высказывания. Высказывания всегда можно однозначно определить как истинное или ложное. Высказываниям присваиваются буквы (логические переменные) и значения, если высказывание истинное, то значение переменной равно 1, в противном случае 0. С помощью логических операций строятся составные (сложные) высказывания. Существуют 3 основные логические операции: конъюнкция, дизъюнкция, инверсия. Для большей понятности и наглядности...

Давайте поговорим о логике: с точки зрения математики, но с привязкой к реальности. Оглавление рубрики "Мой учебник" Начнем с высказываний. Высказывание — это некоторое текстовое утверждение, которое может быть истинным или ложным. Например, "Все кошки серы", "Если сумма цифр числа делится на 3, то и само число делится на 3", "Максимальная выплата в 'игре пиратов' не зависит от численности команды", "Убийца — дворецкий", "Ti amo". Закон исключенного третьего гарантирует, что "либо-либо", даже если выяснить, что же именно, мы не можем...