Логика и Алгебра: Исследование Логических Выражений