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

Логические операции являются фундаментальными элементами информатики и математической логики. Они используются для построения логических выражений, которые играют ключевую роль в алгоритмах, программировании и цифровой схемотехнике. Таблицы истинности — это математические таблицы, используемые для определения функционирования логических операций в булевой алгебре, которая является основой для логических схем и программирования. Каждая таблица истинности представляет все возможные входные комбинации для данной логической операции и соответствующие им результаты...

Вы знаете, что такое «тавтология»? В буквальном переводе с греческого – «одно и то же». Но здесь нас ждёт очень непростая ловушка. Дело в том, что тавтология – не одна! Первая тавтология означает распространённую речевую ошибку. Это всем известное "масло масляное" или "красивая красавица". А вторая тавтология скрывается в учебнике математики, точнее – логики. Кстати, смотрите, какая путаница: вроде бы как «логика» (от греческого «логос», «слово», «мысль») – это наука о том, как человек рассуждает, «мыслит словами», то есть наука «словесная»...