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

Нет, сегодня речь пойдет не о философии. Мы поговорим о том, что такое истина с точки зрения цифровых технологий. Истина в программировании важна не менее чем в жизни, от нее постоянно зависит выбор, делать то или иное. В математике существует целая “область” изучающая, по сути, истинность высказываний. Алгебра логики (булева алгебра) — это раздел математики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности) и логических операций над ними. Алгебра...