Логика высказываний, называемая также пропозициональной логикой - раздел математики и логики, изучающий логические формы сложных высказываний, построенных из простых или элементарных высказываний с помощью логических операций. Высказываниями принято считать такие предложения (написанные на "словесном" либо математическом языке), о которых можно сказать одно из двух: либо они являются истинными, либо ложными. С математическими высказываний проще всего: они всегда имеют либо значение "истина", либо значение "ложь"...

Логические операторы, которые будут рассмотрены в статье: && - логическое И || - логическое ИЛИ ! - логическое НЕ Указанные операторы работают с операндами типа boolean, то есть имеющими значения true или false, либо с выражениями, результатом выполнения которых являются значения true или false. Они используются для объединения нескольких простых выражений, каждое из которых возвращает значение типа boolean, в одно сложное выражение, результатом выполнения которого является единственное значение true или false...