Формулы алгебры логики в информатике: ключевые концепции и примеры