Первое что нужно для освоения алгебры логики, это запомнить основные понятия: Что такое ВЫСКАЗЫВАНИЕ? В обычной жизни в отношении высказываний мы используем выражения ДА/НЕТ, ПРАВДА/НЕПРАВДА. В алгебре логики в отношении высказываний используются выражения ИСТИНА/ЛОЖЬ (И/Л). В информатике, ЭВМ – 1/0. ИСТИНА = И = ПРАВДА = ДА = 1 ЛОЖЬ = Л = НЕПРАВДА = НЕТ = 0 Пример 1. «Сегодня была гроза?» – повествовательное предложение? – НЕТ, это вопросительное предложение «Сегодня была гроза.» – повествовательное предложение? – ДА, это повествовательное предложение Пример 2...

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