Логічне слідування на базі алгебри висловлень - презентация онлайн